E-LIB Suche - Ergebnisse für: Demangeon, Romain

1

Causal computational complexity of distributed processes:

Demangeon, Romain ; Yoshida, Nobuko
Information and Computation. 290 (2023) - p. 104998 , 2023

Link: https://doi.org/10.1016/..

2

Observational Preorders for Alternating Transition Systems:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,

Demangeon, Romain ; Dima, Catalin ; Varacca, Daniele - p. 312-327 , 2023

Link: https://doi.org/10.1007/..

3

Causal Computational Complexity of Distributed Processes:

, In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science,

Demangeon, Romain ; Yoshida, Nobuko - p. 344-353 , 2018

Link: https://dl.acm.org/doi/1..

4

Monitoring networks through multiparty session types:

Bocchi, Laura ; Chen, Tzu-Chun ; Demangeon, Romain..
Theoretical Computer Science. 669 (2017) - p. 33-58 , 2017

Link: https://doi.org/10.1016/..

5

Practical interruptible conversations: distributed dynamic ..:

Demangeon, Romain ; Honda, Kohei ; Hu, Raymond..
Formal Methods in System Design. 46 (2014) 3 - p. 197-225 , 2014

Link: https://doi.org/10.1007/..

6

Termination in higher-order concurrent calculi:

Demangeon, Romain ; Hirschkoff, Daniel ; Sangiorgi, Davide
The Journal of Logic and Algebraic Programming. 79 (2010) 7 - p. 550-577 , 2010

Link: https://doi.org/10.1016/..

7

Static and dynamic typing for the termination of mobile pro..:

, In: Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008; IFIP International Federation for Information Processing,

Demangeon, Romain ; Hirschkoff, Daniel ; Sangiorgi, Davide - p. 413-427 ,

Link: https://doi.org/10.1007/..

8

Causal computational complexity of distributed processes:

Demangeon, Romain ; Yoshida, Nobuko
https://eprints.gla.ac.uk/287452/1/287452.pdf. , 2023

Link: https://eprints.gla.ac.u..

9

Observational Preorders for Alternating Transition Systems:

Demangeon, Romain ; Dima, Catalin ; Varacca, Daniele
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-43264-4_20. , 2023

Link: https://hal.u-pec.fr/hal..

10

Observational Preorders for Alternating Transition Systems:

Demangeon, Romain ; Dima, Catalin ; Varacca, Daniele
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-43264-4_20. , 2023

Link: https://hal.u-pec.fr/hal..

11

Police's competition ; Les concours de police:

Demangeon, Romain
NNT: 2020LORR0009. , 2020

Link: https://hal.univ-lorrain..

12

Police's competition ; Les concours de police:

Demangeon, Romain
NNT: 2020LORR0009. , 2020

Link: https://hal.univ-lorrain..

13

Les concours de police ; Police's competition:

Demangeon, Romain
http://www.theses.fr/2020LORR0009/document. , 2020

Link: http://www.theses.fr/202..

14

Causal Computational Complexity of Distributed Processes:

Demangeon, Romain ; Yoshida, Nobuko
info:eu-repo/semantics/altIdentifier/doi/10.1145/3209108.3209122. , 2018

Link: https://hal.sorbonne-uni..

15

Causal Computational Complexity of Distributed Processes:

Demangeon, Romain ; Yoshida, Nobuko
info:eu-repo/semantics/altIdentifier/doi/10.1145/3209108.3209122. , 2018

Link: https://hal.sorbonne-uni..