Romain Demangeon

According to our database1, Romain Demangeon authored at least 16 papers between 2007 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Causal Computational Complexity of Distributed Processes.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2015
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

2014
Structuring Communication with Session Types.
Proceedings of the Concurrent Objects and Beyond, 2014

2013
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

2012
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

2011
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

2010
Termination in Impure Concurrent Languages.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009
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

2008
Static and dynamic typing for the termination of mobile processes.
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2007
On the Complexity of Termination Inference for Processes.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007


  Loading...