Huttel, Hans and Lanese, Ivan and Vasconcelos, Vasco Thudichum and Caires, Luis and Carbone, Marco and DeniƩlou, Pierre-Malo and Mostrous, Dimitris and Padovani, Luca and Ravara, Antonio and Tuosto, Emilio and Torres Vieira, Hugo and Zavattaro, Gianluigi
Foundations of Session Types and Behavioural Contracts.
ACM Computing Surveys, 49 (1).
pp. 1-36.
ISSN 0360-0300
(2016)