Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types.

Pierre-Malo Denilou, Nobuko Yoshida

Browse the full ICALP paper archive.