MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Luca Fossati

Alumni

dblp

Publications

2014

Luca Fossati, Raymond Hu, Nobuko Yoshida: Multiparty Session Nets. TGC 2014 : 112 - 127.

2012

Luca Fossati, Kohei Honda, Nobuko Yoshida: Intensional and Extensional Characterisation of Global Progress in the π-Calculus. CONCUR 2012 : 287 - 301.