13 citations · 22 across the 3 of their papers we have counts for
3 papers
A Theory of Formal Choreographic Languages
Franco Barbanera, Ivan Lanese, Emilio Tuosto
We introduce a meta-model based on formal languages, dubbed formal choreographic languages, to study message-passing systems. Our framework allows us to generalise standard constru…
On Composing Communicating Systems
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Communication is an essential element of modern software, yet programming and analysing communicating systems are difficult tasks. A reason for this difficulty is the lack of compo…
Compliance for reversible client/server interactions
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de' Liguoro
In the setting of session behaviours, we study an extension of the concept of compliance when a disciplined form of backtracking is present. After adding checkpoints to the syntax…