20 citations · 133 across the 34 of their papers we have counts for
12 papers · 1 filter
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…
Towards Refinable Choreographies
Ugo de'Liguoro, Hernán Melgratti, Emilio Tuosto
We investigate refinement in the context of choreographies. We introduce refinable global choreographies allowing for the underspecification of protocols, whose interactions can be…
Probabilistic Analysis of Binary Sessions
Omar Inverso, Hernán Melgratti, Luca Padovani +2
We study a probabilistic variant of binary session types that relate to a class of Finite-State Markov Chains. The probability annotations in session types enable the reasoning on…
Realisability of Pomsets via Communicating Automata
Roberto Guanciale Dr, Emilio Tuosto Dr
Pomsets are a model of concurrent computations introduced by Pratt. They can provide a syntax-oblivious description of semantics of coordination models based on asynchronous messag…
Tool Supported Analysis of IoT
Chiara Bodei, Pierpaolo Degano, Letterio Galletta +1
The design of IoT systems could benefit from the combination of two different analyses. We perform a first analysis to approximate how data flow across the system components, while…