Published June 2016
| Version v1
Journal article
Foundations of Session Types and Behavioural Contracts
Contributors
Others:
- Aalborg University [Denmark] (AAU)
- University of Leicester
- IMT Institute for Advanced Studies [Lucca]
- Department of Computer Science and Engineering [Bologna] (DISI) ; Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)
- Foundations of Component-based Ubiquitous Systems (FOCUS) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI) ; Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)
- Universidade de Lisboa = University of Lisbon (ULISBOA)
- IT University of Copenhagen (ITU)
- Royal Holloway [University of London] (RHUL)
- Département de Radiothérapie ; Assistance Publique - Hôpitaux de Marseille (APHM)
- Hôpital de la Timone [CHU - APHM] (TIMONE)
- European Project: COST Action IC1201,COST - European Cooperation in Science and Technology,BETTY(2012)
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 that 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 paper surveys the main accomplishments of the last twenty years within these two approaches.
Abstract
International audienceAdditional details
Identifiers
- URL
- https://hal.science/hal-01336707
- URN
- urn:oai:HAL:hal-01336707v1
Origin repository
- Origin repository
- UNICA