![](/img/cover-not-exists.png)
Foundations of Session Types and Behavioural Contracts
Hüttel, Hans, Tuosto, Emilio, Vieira, Hugo Torres, Zavattaro, Gianluigi, Lanese, Ivan, Vasconcelos, Vasco T., Caires, Luís, Carbone, Marco, Deniélou, Pierre-Malo, Mostrous, Dimitris, Padovani, Luca, RVolume:
49
Language:
english
Journal:
ACM Computing Surveys
DOI:
10.1145/2873052
Date:
April, 2016
File:
PDF, 405 KB
english, 2016