Process calculi as a tool for studying coordination, contracts and session types - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Logical and Algebraic Methods in Programming Year : 2020

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

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.
Fichier principal
Vignette du fichier
S2352220820300122.pdf (703.62 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03102438 , version 1 (22-08-2022)

Licence

Attribution - NonCommercial

Identifiers

Cite

Mario Bravetti, Gianluigi Zavattaro. Process calculi as a tool for studying coordination, contracts and session types. Journal of Logical and Algebraic Methods in Programming, 2020, 112, pp.100527. ⟨10.1016/j.jlamp.2020.100527⟩. ⟨hal-03102438⟩
29 View
22 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More