Foundations of Session Types and Behavioural Contracts
ACM Computing Surveys
Ivan Lanese
Gianluigi Zavattaro
Emilio Tuosto
Hans Hüttel
Dimitris Mostrous
Pierre-Malo Deniélou
Intersection type calculi of bounded dimension