@article{Huttel:2016:FST:2911992.2873052,
 author = {H\"{u}ttel, Hans and Lanese, Ivan and Vasconcelos, Vasco T. and Caires, Lu\'{\i}s and Carbone, Marco and Deni{\'e}lou, Pierre-Malo and Mostrous, Dimitris and Padovani, Luca and Ravara, Ant\'{o}nio and Tuosto, Emilio and Vieira, Hugo Torres and Zavattaro, Gianluigi},
 title = {Foundations of Session Types and Behavioural Contracts},
 journal = {ACM Comput. Surv.},
 issue_date = {April 2016},
 volume = {49},
 number = {1},
 month = apr,
 year = {2016},
 issn = {0360-0300},
 pages = {3:1--3:36},
 articleno = {3},
 numpages = {36},
 url = {http://doi.acm.org/10.1145/2873052},
 doi = {10.1145/2873052},
 acmid = {2873052},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Behavioural types},
}