research
∙
08/21/2023
Partially Typed Multiparty Sessions
A multiparty session formalises a set of concurrent communicating partic...
share
research
∙
10/15/2022
A Theory of Formal Choreographic Languages
We introduce a meta-model based on formal languages, dubbed formal chore...
research
∙
08/09/2022
On Composing Communicating Systems
Communication is an essential element of modern software, yet programmin...
research
∙
07/14/2021
Composition of choreography automata
Choreography automata are an automata-based model of choreographies, tha...
research
∙
09/12/2019
Open Multiparty Sessions
Multiparty sessions are systems of concurrent processes, which allow sev...
research
∙
10/05/2018
Global Types for Open Systems
Global-type formalisms enable to describe the overall behaviour of distr...
research
∙
11/30/2017
