BETTY Papers at ICALP 2013
Two papers on BETTY topics will be presented at ICALP 2013:
- Pierre-Malo Denielou and Nobuko Yoshida:
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types - Luca Padovani:
Fair Subtyping for Open Session Types
Congratulations to the authors!
COST is supported by the EU Framework Programme Horizon 2020