Foundations of session types and behavioural contracts
| Title | Foundations of session types and behavioural contracts |
| Publication Type | Journal Article |
| Year of Publication | 2016 |
| Authors | Hüttel, H., I. Lanese, V. T. Vasconcelos, L. Caires, M. Carbone, P-M. Deniélou, D. Mostrous, L. Padovani, A. Ravara, E. Tuosto, and |
| Journal | ACM Computing Surveys (CSUR) |
| Volume | 49 |
| Pagination | 3 |
