relation: http://eprints.imtlucca.it/3695/
title: Foundations of Session Types and Behavioural Contracts
creator: Huttel, Hans
creator: Lanese, Ivan
creator: Vasconcelos, Vasco Thudichum
creator: Caires, Luis
creator: Carbone, Marco
creator: Deniélou, Pierre-Malo
creator: Mostrous, Dimitris
creator: Padovani, Luca
creator: Ravara, Antonio
creator: Tuosto, Emilio
creator: Torres Vieira, Hugo
creator: Zavattaro, Gianluigi
subject: QA75 Electronic computers. Computer science
description: Behavioural type systems, usually associated to concurrent or distributed computations, encompass concepts such as interfaces, communication protocols, and contracts, in addition to the traditional input/output operations. The behavioural type of a software component specifies its expected patterns of interaction using expressive type languages, so types can be used to determine automatically whether the component interacts correctly with other components. Two related important notions of behavioural types are those of session types and behavioural contracts. This article surveys the main accomplishments of the last 20 years within these two approaches.
publisher: ACM
date: 2016
type: Article
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/3695/1/a3-huttel-2.pdf
identifier:   Huttel, Hans and Lanese, Ivan and Vasconcelos, Vasco Thudichum and Caires, Luis and Carbone, Marco and Deniélou, Pierre-Malo and Mostrous, Dimitris and Padovani, Luca and Ravara, Antonio and Tuosto, Emilio and Torres Vieira, Hugo and Zavattaro, Gianluigi  Foundations of Session Types and Behavioural Contracts.  ACM Computing Surveys, 49 (1).  pp. 1-36.  ISSN 0360-0300      (2016)  
relation: http://doi.acm.org/10.1145/2873052