Export
APA
Hans Hüttel, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, (2016). Foundations of Session Types and Behavioural Contracts. ACM Computing Surveys, 49, 1-36. ISSN 0360-0300. eISSN . http://dx.doi.org/10.1145/2873052
IEEE
Hans Hüttel, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, "Foundations of Session Types and Behavioural Contracts" in ACM Computing Surveys, vol. 49, pp. 1-36, 2016.
10.1145/2873052
BIBTEX
@article{41850,
author = {Hans Hüttel and Emilio Tuosto and Hugo Torres Vieira and Gianluigi Zavattaro and Ivan Lanese and Vasco T. Vasconcelos and Luís Caires and Marco Carbone and Pierre-Malo Deniélou and Dimitris Mostrous and Luca Padovani and António Ravara},
title = {Foundations of Session Types and Behavioural Contracts},
journal = {ACM Computing Surveys},
year = 2016,
pages = {1-36},
volume = 49
}