Foundations of session types and behavioural contracts

TitleFoundations of session types and behavioural contracts
Publication TypeJournal Article
Year of Publication2016
AuthorsHüttel, H., I. Lanese, V. T. Vasconcelos, L. Caires, M. Carbone, P-M. Deniélou, D. Mostrous, L. Padovani, A. Ravara, E. Tuosto, and
JournalACM Computing Surveys (CSUR)
Volume49
Pagination3