Romain Demangeon

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Causal computational complexity of distributed processes Information and Computation	2023-01-12	Paper
Causal computational complexity of distributed processes Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
On the expressiveness of multiparty sessions	2017-07-13	Paper
Monitoring networks through multiparty session types Theoretical Computer Science	2017-03-16	Paper
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python Formal Methods in System Design	2015-10-30	Paper
Nested protocols in session types Lecture Notes in Computer Science	2012-09-25	Paper
Strong normalisation in \(\lambda \)-calculi with references Fundamentals of Software Engineering	2012-06-29	Paper
Full abstraction in a subtyped pi-calculus with linear types CONCUR 2011 – Concurrency Theory	2011-09-02	Paper
Termination in higher-order concurrent calculi The Journal of Logic and Algebraic Programming	2010-10-22	Paper
Termination in impure concurrent languages CONCUR 2010 - Concurrency Theory	2010-08-31	Paper
Termination in higher-order concurrent calculi Fundamentals of Software Engineering	2010-01-28	Paper
Mobile Processes and Termination Semantics and Algebraic Specification	2009-10-22	Paper

Research outcomes over time

This page was built for person: Romain Demangeon