We recall techniques, mainly based on the theory of process calculi, that we used to prove results 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 such techniques recently contributed 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.

Bravetti M., Zavattaro G. (2020). Process calculi as a tool for studying coordination, contracts and session types. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 112, 1-31 [10.1016/j.jlamp.2020.100527].

Process calculi as a tool for studying coordination, contracts and session types

Bravetti M.;Zavattaro G.
2020

Abstract

We recall techniques, mainly based on the theory of process calculi, that we used to prove results 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 such techniques recently contributed 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.
2020
Bravetti M., Zavattaro G. (2020). Process calculi as a tool for studying coordination, contracts and session types. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 112, 1-31 [10.1016/j.jlamp.2020.100527].
Bravetti M.; Zavattaro G.
File in questo prodotto:
File Dimensione Formato  
full.pdf

Open Access dal 18/02/2022

Tipo: Postprint
Licenza: Licenza per Accesso Aperto. Creative Commons Attribuzione - Non commerciale - Non opere derivate (CCBYNCND)
Dimensione 1.52 MB
Formato Adobe PDF
1.52 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/766727
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 4
social impact