According to our database1, Romain Demangeon authored at least 16 papers between 2007 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Causal Computational Complexity of Distributed Processes.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python.
Formal Methods in System Design, 2015
On the Expressiveness of Multiparty Sessions.
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015
Structuring Communication with Session Types.
Proceedings of the Concurrent Objects and Beyond, 2014
Embedding Session Types in HML.
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.
Proceedings of the Runtime Verification - 4th International Conference, 2013
Monitoring Networks through Multiparty Session Types.
Proceedings of the Formal Techniques for Distributed Systems, 2013
A Multiparty Multi-session Logic.
Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012
Nested Protocols in Session Types.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
Strong Normalisation in λ-Calculi with References.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011
Full Abstraction in a Subtyped pi-Calculus with Linear Types.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
Termination in Impure Concurrent Languages.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
Termination in Higher-Order Concurrent Calculi.
Proceedings of the Fundamentals of Software Engineering, 2009
Mobile Processes and Termination.
Proceedings of the Semantics and Algebraic Specification, 2009
Static and dynamic typing for the termination of mobile processes.
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008
On the Complexity of Termination Inference for Processes.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007