%0 Conference Proceedings
%T Foundations of Coordination and Contracts and Their Contribution to Session Type Theory
%+ Department of Computer Science and Engineering [Bologna] (DISI)
%+ Foundations of Component-based Ubiquitous Systems (FOCUS)
%A Bravetti, Mario
%A Zavattaro, Gianluigi
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 20th International Conference on Coordination Languages and Models (COORDINATION)
%C Madrid, Spain
%Y Giovanna Di Marzo Serugendo
%Y Michele Loreti
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-10852
%P 21-50
%8 2018-06-18
%D 2018
%R 10.1007/978-3-319-92408-3_2
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01821498/document
%2 https://inria.hal.science/hal-01821498/file/468924_1_En_2_Chapter.pdf
%L hal-01821498
%U https://inria.hal.science/hal-01821498
%~ INRIA
%~ INRIA-SOPHIA
%~ INRIASO
%~ INRIA_TEST
%~ TESTALAIN1
%~ IFIP-LNCS
%~ IFIP
%~ INRIA2
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-DISCOTEC
%~ UNIV-COTEDAZUR
%~ IFIP-LNCS-10852