Romain Demangeon

20 papers A* 1B 4C 1Journal 4Unranked 10
YearRankTypeTitle / Venue / Authors
2023 J jnl
Causal computational complexity of distributed processes.
Inf. Comput.
Romain Demangeon, Nobuko Yoshida
2023 C conf
Observational Preorders for Alternating Transition Systems.
EUMAS
Romain Demangeon, Catalin Dima, Daniele Varacca
2018 A* conf
Causal Computational Complexity of Distributed Processes.
LICS
Romain Demangeon, Nobuko Yoshida
2017 J jnl
Monitoring networks through multiparty session types.
Theor. Comput. Sci.
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
2015 — conf
On the Expressiveness of Multiparty Sessions.
FSTTCS
Romain Demangeon, Nobuko Yoshida
2015 J jnl
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python.
Formal Methods Syst. Des.
Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2014 — conf
Structuring Communication with Session Types.
Concurrent Objects and Beyond
Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida
2013 — conf
Embedding Session Types in HML.
PLACES
Laura Bocchi, Romain Demangeon
2013 — conf
Monitoring Networks through Multiparty Session Types.
FMOODS/FORTE
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
2013 B conf
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python.
RV
Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda
2012 — conf
A Multiparty Multi-session Logic.
TGC
Laura Bocchi, Romain Demangeon, Nobuko Yoshida
2012 B conf
Nested Protocols in Session Types.
CONCUR
Romain Demangeon, Kohei Honda
2011 B conf
Full Abstraction in a Subtyped pi-Calculus with Linear Types.
CONCUR
Romain Demangeon, Kohei Honda
2011 — conf
Strong Normalisation in λ-Calculi with References.
FSEN
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2010 B conf
Termination in Impure Concurrent Languages.
CONCUR
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2010 J jnl
Termination in higher-order concurrent calculi.
J. Log. Algebraic Methods Program.
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2009 — conf
Mobile Processes and Termination.
Semantics and Algebraic Specification
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2009 — conf
Termination in Higher-Order Concurrent Calculi.
FSEN
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2008 — conf
Static and dynamic typing for the termination of mobile processes.
IFIP TCS
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2007 — conf
On the Complexity of Termination Inference for Processes.
TGC
Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi, Davide Sangiorgi