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

BETTY Papers at CONCUR 2013

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

  • Dimitrios Kouzapas and Nobuko Yoshida:
    Globally Governed Session Semantics
  • Fabrizio Montesi and Nobuko Yoshida:
    Compositional Choreographies

Congratulations to the authors!