ITU

Foundations of Session Types and Behavioural Contracts

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

Standard

Foundations of Session Types and Behavioural Contracts. / Huttel, Hans; Lanese, Ivan ; Vasconcelos, Vasco; Caires, Luis; Carbone, Marco; Danielou, Pierre-Malo; Mostrous, Dimitris; Padovani, Luca; Rabara, Antonio; Tuosto, Emilio; Vieira, Hugo Torres; Zavattaro, Gianluigi.

In: A C M Computing Surveys, Vol. 49, No. 1, 3, 2016, p. 1.

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

Harvard

Huttel, H, Lanese, I, Vasconcelos, V, Caires, L, Carbone, M, Danielou, P-M, Mostrous, D, Padovani, L, Rabara, A, Tuosto, E, Vieira, HT & Zavattaro, G 2016, 'Foundations of Session Types and Behavioural Contracts', A C M Computing Surveys, vol. 49, no. 1, 3, pp. 1. <http://dx.doi.org/10.1145/2873052>

APA

Huttel, H., Lanese, I., Vasconcelos, V., Caires, L., Carbone, M., Danielou, P-M., Mostrous, D., Padovani, L., Rabara, A., Tuosto, E., Vieira, H. T., & Zavattaro, G. (2016). Foundations of Session Types and Behavioural Contracts. A C M Computing Surveys, 49(1), 1. [3]. http://dx.doi.org/10.1145/2873052

Vancouver

Huttel H, Lanese I, Vasconcelos V, Caires L, Carbone M, Danielou P-M et al. Foundations of Session Types and Behavioural Contracts. A C M Computing Surveys. 2016;49(1):1. 3.

Author

Huttel, Hans ; Lanese, Ivan ; Vasconcelos, Vasco ; Caires, Luis ; Carbone, Marco ; Danielou, Pierre-Malo ; Mostrous, Dimitris ; Padovani, Luca ; Rabara, Antonio ; Tuosto, Emilio ; Vieira, Hugo Torres ; Zavattaro, Gianluigi. / Foundations of Session Types and Behavioural Contracts. In: A C M Computing Surveys. 2016 ; Vol. 49, No. 1. pp. 1.

Bibtex

@article{00497cf7636342878c781294747afa18,
title = "Foundations of Session Types and Behavioural Contracts",
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.",
author = "Hans Huttel and Ivan Lanese and Vasco Vasconcelos and Luis Caires and Marco Carbone and Pierre-Malo Danielou and Dimitris Mostrous and Luca Padovani and Antonio Rabara and Emilio Tuosto and Vieira, {Hugo Torres} and Gianluigi Zavattaro",
year = "2016",
language = "English",
volume = "49",
pages = "1",
journal = "A C M Computing Surveys",
issn = "0360-0300",
publisher = "Association for Computing Machinery",
number = "1",

}

RIS

TY - JOUR

T1 - Foundations of Session Types and Behavioural Contracts

AU - Huttel, Hans

AU - Lanese, Ivan

AU - Vasconcelos, Vasco

AU - Caires, Luis

AU - Carbone, Marco

AU - Danielou, Pierre-Malo

AU - Mostrous, Dimitris

AU - Padovani, Luca

AU - Rabara, Antonio

AU - Tuosto, Emilio

AU - Vieira, Hugo Torres

AU - Zavattaro, Gianluigi

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

M3 - Journal article

VL - 49

SP - 1

JO - A C M Computing Surveys

JF - A C M Computing Surveys

SN - 0360-0300

IS - 1

M1 - 3

ER -

ID: 81297349