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 POPL 2013

BETTY Papers at POPL 2013

Two papers on BETTY topics will be presented at POPL 2013:

  • Marco Carbone and Fabrizio Montesi:
    Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming
  • Luis Caires and Joao Seco:
    The Type Discipline of Behavioral Separation

Congratulations to the authors!