MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Romain Demangeon

Alumni

www
dblp

Romain is now at Paris VI

Publications

2018

Romain Demangeon, Nobuko Yoshida: Causal Computational Complexity of Distributed Processes. LICS 2018 : 344 - 353.

2017

Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida: Monitoring Networks through Multiparty Session Types. TCS : 33 - 58.

2015

Romain Demangeon, Nobuko Yoshida: On the Expressiveness of Multiparty Session Types. FSTTCS 2015 : 560 - 574.

Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida: Practical interruptible conversations: Distributed dynamic verification with multiparty session types and Python. FMSD : 1 - 29.

2014

Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida: Structuring Communication with Session Types. COB 2014 : 105 - 127.

2013

Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida: Monitoring Networks through Multiparty Session Types. FMOODS/FORTE 2013 : 50 - 65.

Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon: Practical interruptible conversations: Distributed Dynamic Veriﬁcation with Session Types and Python. RV 2013 : 148 - 130.

2012

Laura Bocchi, Romain Demangeon, Nobuko Yoshida: A Multiparty Multi-Session Logic. TGC 2012 : 111 - 97.

Romain Demangeon, Kohei Honda: Nested Protocols in Session Types. CONCUR 2012 : 272 - 286.

2011

Romain Demangeon, Kohei Honda: Full Abstraction in a Subtyped pi-Calculus with Linear Types. CONCUR 2011 : 280 - 296.