Detail

Publication date: 01/04/2016

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,

Journal ACM Computing Surveys
Publisher ACM Electronic Library
Volume 49
Number 1
Journal ACM Computing Surveys
Publisher ACM Electronic Library
Volume 49
Number 1