IMT Institutional Repository: No conditions. Results ordered -Date Deposited.
2024-03-29T13:21:38Z
EPrints
http://eprints.imtlucca.it/images/logowhite.png
http://eprints.imtlucca.it/
2017-05-04T14:16:41Z
2017-05-04T14:16:41Z
http://eprints.imtlucca.it/id/eprint/3695
This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/3695
2017-05-04T14:16:41Z
Foundations of Session Types and Behavioural Contracts
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.
Hans Huttel
Ivan Lanese
Vasco Thudichum Vasconcelos
Luis Caires
Marco Carbone
Pierre-Malo DeniƩlou
Dimitris Mostrous
Luca Padovani
Antonio Ravara
Emilio Tuosto
Hugo Torres Vieira
hugo.torresvieira@imtlucca.it
Gianluigi Zavattaro