Romain Demangeon

Available identifiers

zbMath Open demangeon.romainMaRDI QIDQ517049

List of research outcomes

Publication	Date of Publication	Type
Causal computational complexity of distributed processes	2023-01-12	Paper
Causal Computational Complexity of Distributed Processes	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5275396	2017-07-13	Paper
Monitoring networks through multiparty session types	2017-03-16	Paper
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python	2015-10-30	Paper
Nested Protocols in Session Types	2012-09-25	Paper
Strong Normalisation in λ-Calculi with References	2012-06-29	Paper
Full Abstraction in a Subtyped pi-Calculus with Linear Types	2011-09-02	Paper
Termination in higher-order concurrent calculi	2010-10-22	Paper
Termination in Impure Concurrent Languages	2010-08-31	Paper
Termination in Higher-Order Concurrent Calculi	2010-01-28	Paper
Mobile Processes and Termination	2009-10-22	Paper

Research outcomes over time

This page was built for person: Romain Demangeon