BETTY Papers at CONCUR 2014
Four papers by BETTY authors will be presented at CONCUR 2014. Congratulations to the authors!
Laura Bocchi, Weizhen Yang and Nobuko Yoshida. Timed Multiparty Session Types.
Giovanni Bernardi and Matthew Hennessy. Using higher-order contracts to model session types.
Marco Carbone, Fabrizio Montesi and Carsten Schuermann. Choreographies, Logically.
Massimo Bartoletti, Alceste Scalas and Roberto Zunino. A semantic deconstruction of session types.