<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "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."^^ . "2016" . . "49" . "1" . . "ACM"^^ . . . "ACM Computing Surveys"^^ . . . "03600300" . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Antonio"^^ . "Ravara"^^ . "Antonio Ravara"^^ . . "Vasco Thudichum"^^ . "Vasconcelos"^^ . "Vasco Thudichum Vasconcelos"^^ . . "Hans"^^ . "Huttel"^^ . "Hans Huttel"^^ . . "Ivan"^^ . "Lanese"^^ . "Ivan Lanese"^^ . . "Hugo"^^ . "Torres Vieira"^^ . "Hugo Torres Vieira"^^ . . "Emilio"^^ . "Tuosto"^^ . "Emilio Tuosto"^^ . . "Luis"^^ . "Caires"^^ . "Luis Caires"^^ . . "Gianluigi"^^ . "Zavattaro"^^ . "Gianluigi Zavattaro"^^ . . "Pierre-Malo"^^ . "Deniélou"^^ . "Pierre-Malo Deniélou"^^ . . "Marco"^^ . "Carbone"^^ . "Marco Carbone"^^ . . "Luca"^^ . "Padovani"^^ . "Luca Padovani"^^ . . "Dimitris"^^ . "Mostrous"^^ . "Dimitris Mostrous"^^ . . . . . . "Foundations of Session Types and Behavioural Contracts (PDF)"^^ . . . . . "Foundations of Session Types and Behavioural Contracts (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Foundations of Session Types and Behavioural Contracts (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Foundations of Session Types and Behavioural Contracts (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Foundations of Session Types and Behavioural Contracts (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #3695 \n\nFoundations of Session Types and Behavioural Contracts\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .