Foundations of Session Types and Behavioural Contracts

Authors

António Ravara, Dimitris Mostrous, Emilio Tuosto, Gianluigi Zavattaro, Hans Huttel, Hugo Torres Vieira, Ivan Lanese, Luca Padovani, Luis Caires, Marco Carbone, Vasco Vasconcelos,