TY  - RPRT
TI  - Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
AU  - Pierre-Malo Deniélou
AU  - Nobuko Yoshida
PY  - 2013
UR  - https://arxiv.org/abs/1304.1902
ID  - 1304.1902
ER  -