Romain Demangeon

According to our database, Romain Demangeon authored at least 17 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Causal computational complexity of distributed processes.

Romain Demangeon, Nobuko Yoshida

Inf. Comput., January, 2023

Observational Preorders for Alternating Transition Systems.

Romain Demangeon, Catalin Dima, Daniele Varacca

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

2017

Monitoring networks through multiparty session types.

Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida

Theor. Comput. Sci., 2017

2015

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python.

Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida

Formal Methods Syst. Des., 2015

On the Expressiveness of Multiparty Sessions.

Romain Demangeon, Nobuko Yoshida

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014

Structuring Communication with Session Types.

Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida

Proceedings of the Concurrent Objects and Beyond, 2014

2013

Embedding Session Types in HML.

Laura Bocchi, Romain Demangeon

Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python.

Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda

Proceedings of the Runtime Verification - 4th International Conference, 2013

2012

A Multiparty Multi-session Logic.

Laura Bocchi, Romain Demangeon, Nobuko Yoshida

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

Nested Protocols in Session Types.

Romain Demangeon, Kohei Honda

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Strong Normalisation in λ-Calculi with References.

Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Full Abstraction in a Subtyped pi-Calculus with Linear Types.

Romain Demangeon, Kohei Honda

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Termination in higher-order concurrent calculi.

Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi

J. Log. Algebraic Methods Program., 2010

Termination in Impure Concurrent Languages.

Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Mobile Processes and Termination.

Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi

Proceedings of the Semantics and Algebraic Specification, 2009

2008

Static and dynamic typing for the termination of mobile processes.

Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2007

On the Complexity of Termination Inference for Processes.

Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi, Davide Sangiorgi

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007