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

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 h...

Full description

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 112; p. 100527
Main Authors Bravetti, Mario, Zavattaro, Gianluigi
Format Journal Article
LanguageEnglish
Published Elsevier Inc 01.04.2020
Elsevier
Subjects
Behavioural contracts
Computation and Language
Computer Science
Coordination primitives
Session types
Session types
Coordination primitives
Behavioural contracts
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:2352-2208
DOI:10.1016/j.jlamp.2020.100527