Foundations of Coordination and Contracts and Their Contribution to Session Type Theory - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

Foundations of Coordination and Contracts and Their Contribution to Session Type Theory

(1, 2) , (1, 2)
1
2

Abstract

We briefly recall results obtained in twenty years of research, spanning across the old and the new millennium, on the expressiveness of coordination languages and on behavioural contracts for Service-Oriented Computing. Then, we show how the techniques developed in those contexts are currently contributing to the clarification of aspects that were unclear about session types, in particular, asynchronous session subtyping that was considered decidable since 2009, while it was proved to be undecidable in 2017.
Fichier principal
Vignette du fichier
468924_1_En_2_Chapter.pdf (542.68 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01821498 , version 1 (22-06-2018)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

Mario Bravetti, Gianluigi Zavattaro. Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. 20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.21-50, ⟨10.1007/978-3-319-92408-3_2⟩. ⟨hal-01821498⟩
75 View
67 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More