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.
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory / Bravetti, Mario; Zavattaro, Gianluigi. - STAMPA. - 10852:(2018), pp. 21-50. (Intervento presentato al convegno Coordination Models and Languages, 20th IFIP WG 6.1 International Conference, COORDINATION 2018 tenutosi a Madrid, Spain nel June 18-21, 2018) [10.1007/978-3-319-92408-3_2].
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory
Bravetti, Mario;Zavattaro, Gianluigi
2018
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.