Skip to Main content Skip to Navigation
Journal articles

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

Mario Bravetti 1, 2 Gianluigi Zavattaro 1, 2
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
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.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-03102438
Contributor : Mario Bravetti Connect in order to contact the contributor
Submitted on : Thursday, January 7, 2021 - 3:27:36 PM
Last modification on : Wednesday, January 27, 2021 - 4:52:30 PM

Links full text

Identifiers

Collections

Citation

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

Share

Metrics

Les métriques sont temporairement indisponibles