Foundations of Session Types and Behavioural Contracts

Hans Hutttel, Ivan Lanese, Vasco Vasconcelos, Luis Caires, et. el,

URL	https://doi.org/10.1145/2873052
Journal	ACM Computing Surveys
Publisher	Universitat Politècnica de Catalunya
Volume	49
URL	https://doi.org/10.1145/2873052
Journal	ACM Computing Surveys
Publisher	Universitat Politècnica de Catalunya
Volume	49

Publication