Please use this identifier to cite or link to this item:
Title: Foundations of session types and behavioural contracts
Authors: Hüttel, H.
Lanese, I.
Vasconcelos, V. T.
Caires, L.
Carbone, M.
Deniélou, P. M.
Mostrous, D.
Padovani, L.
Nióravara, A.
Tuosto, Emilio
Vieira, H. T.
Zavattaro, G.
First Published: 1-Apr-2016
Publisher: Association for Computing Machinery (ACM)
Citation: ACM Computing Surveys, 2016, 49 (1)
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.
DOI Link: 10.1145/2873052
ISSN: 0360-0300
eISSN: 1557-7341
Version: Publisher Version
Status: Peer-reviewed
Type: Journal Article
Rights: 2016 Copyright is held by the owner/author(s). Publication rights licensed to ACM. This work is licensed under a Creative Commons Attribution 4.0 International License.
Description: Categories and Subject Descriptors: F.3.3 [Logics and Meanings of Programs]: Studies of Program Constructs; D.3.3 [Programming Languages]: Language Constructs and Features; D.2.4 [Software Engineering]: Software/Program Verification
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
Foundations_of_session_types_and_behavioural_contracts.pdfPublisher version404.81 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.