Skip to content. | Skip to navigation

Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201


You are here: Home / News / BETTY Papers at ICALP 2013

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!