eprintid: 3695
rev_number: 11
eprint_status: archive
userid: 59
dir: disk0/00/00/36/95
datestamp: 2017-05-04 14:16:41
lastmod: 2017-05-04 14:16:41
status_changed: 2017-05-04 14:16:41
type: article
metadata_visibility: show
creators_name: Huttel, Hans
creators_name: Lanese, Ivan
creators_name: Vasconcelos, Vasco Thudichum
creators_name: Caires, Luis
creators_name: Carbone, Marco
creators_name: Deniélou, Pierre-Malo
creators_name: Mostrous, Dimitris
creators_name: Padovani, Luca
creators_name: Ravara, Antonio
creators_name: Tuosto, Emilio
creators_name: Torres Vieira, Hugo
creators_name: Zavattaro, Gianluigi
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
creators_id: 
title: Foundations of Session Types and Behavioural Contracts
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: restricted
abstract: 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.
date: 2016
date_type: published
publication: ACM Computing Surveys
volume: 49
number: 1
publisher: ACM
pagerange: 1-36
refereed: TRUE
issn: 0360-0300
official_url: http://doi.acm.org/10.1145/2873052
citation:   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)  
document_url: http://eprints.imtlucca.it/3695/1/a3-huttel-2.pdf