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 2014

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.