Foundations of Session Types and Behavioural Contracts

Full Text:

Authors:	Hans Hüttel	Aalborg University, Aalborg Ø, Denmark
	Ivan Lanese	University of Bologna/INRIA, Bologna, Italy
	Vasco T. Vasconcelos	University of Lisbon, Lisbon, Portugal
	Luís Caires	Universidade Nova de Lisboa, Caparica, Portugal
	Marco Carbone	ITU Copenhagen
	Pierre-Malo Deniélou	Royal Holloway, University of London, Egham Hill, United Kingdom
	Dimitris Mostrous	University of Lisbon, Lisbon, Portugal
	Luca Padovani	University of Turin, Torino, Italy
	António Ravara	Universidade Nova de Lisboa, Caparica, Portugal
	Emilio Tuosto	University of Leicester, Leicester, United Kingdom
	Hugo Torres Vieira	IMT School for Advanced Studies Lucca, Lucca, Italy
	Gianluigi Zavattaro	University of Bologna/INRIA, Bologna, Italy

	2016 Article Research Refereed Open Access
Bibliometrics
· Citation Count: 14 · Downloads (cumulative): 1,063 · Downloads (12 Months): 280 · Downloads (6 Weeks): 31

Published in:

	· Journal
	ACM Computing Surveys (CSUR) Surveys Homepage archive
	Volume 49 Issue 1, July 2016 Article No. 3 ACM New York, NY, USA table of contents doi>10.1145/2873052

Tools and Resources