Foundations of Session Types and Behavioural Contracts-Reference-Cited by-同舟云学术

Foundations of Session Types and Behavioural Contracts

Published:2016-07-28 Issue:1 Volume:49 Page:1-36
ISSN:0360-0300
Container-title:ACM Computing Surveys
language:en
Short-container-title:ACM Comput. Surv.

Author:

Hüttel Hans¹,Lanese Ivan²,Vasconcelos Vasco T.³,Caires Luís⁴,Carbone Marco⁵,Deniélou Pierre-Malo⁶,Mostrous Dimitris³,Padovani Luca⁷,Ravara António⁴,Tuosto Emilio⁸,Vieira Hugo Torres⁹,Zavattaro Gianluigi²

Affiliation:

1. Aalborg University, Aalborg Ø, Denmark

2. University of Bologna/INRIA, Bologna, Italy

3. University of Lisbon, Lisbon, Portugal

4. Universidade Nova de Lisboa, Caparica, Portugal

5. ITU Copenhagen

6. Royal Holloway, University of London, Egham Hill, United Kingdom

7. University of Turin, Torino, Italy

8. University of Leicester, Leicester, United Kingdom

9. IMT School for Advanced Studies Lucca, Lucca, Italy

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.

Funder

European Cooperation in Science and Technology

Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science,Theoretical Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/2873052

Reference181 articles.

1. Responsiveness in process calculi

2. Spatial and behavioral types in the pi-calculus

3. On the Relationship between Spatial Logics and Behavioral Simulations

4. A Type System for Flexible Role Assignment in Multiparty Communicating Systems

Cited by 158 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A logical account of subtyping for session types;Journal of Logical and Algebraic Methods in Programming;2024-10

2. Discourje: Run-Time Verification of Communication Protocols in Clojure — Live at Last;Lecture Notes in Computer Science;2024-09-13

3. A simple view of multiparty session types;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09

4. On the Almost-Sure Termination of Binary Sessions;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09

5. sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09