| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
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.
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
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
