ITU

Foundations of Session Types and Behavioural Contracts

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  • Hans Huttel
  • Ivan Lanese
  • Vasco Vasconcelos
  • Luis Caires
  • Marco Carbone
  • Pierre-Malo Danielou
  • Dimitris Mostrous
  • Luca Padovani
  • Antonio Rabara
  • Emilio Tuosto
  • Hugo Torres Vieira
  • Gianluigi Zavattaro

View graph of relations

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.
Original languageEnglish
Article number3
JournalA C M Computing Surveys
Volume49
Issue number1
Pages (from-to)1
Number of pages16
ISSN0360-0300
Publication statusPublished - 2016

Downloads

No data available

ID: 81297349