20 citations · 133 across the 34 of their papers we have counts for
7 papers · 1 filter
Composition of choreography automata
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Choreography automata are an automata-based model of choreographies, that we show to be a compositional one. Choreography automata represent global views of choreographies (and rel…
An Abstract Framework for Choreographic Testing
Alex Coto, Roberto Guanciale, Emilio Tuosto
We initiate the development of a model-driven testing framework for message-passing systems. The notion of test for communicating systems cannot simply be borrowed from existing pr…
On Learning Nominal Automata with Binders
Yi Xiao, Emilio Tuosto
We investigate a learning algorithm in the context of nominal automata, an extension of classical automata to alphabets featuring names. This class of automata captures nominal reg…
Interface Automata for Choreographies
Hao Zeng, Alexander Kurz, Emilio Tuosto
Choreographic approaches to message-passing applications can be regarded as an instance of the model-driven development principles. Choreographies specify interactions among distri…
From Orchestration to Choreography through Contract Automata
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari +1
We study the relations between a contract automata and an interaction model. In the former model, distributed services are abstracted away as automata - oblivious of their partners…
Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
We propose regular expressions to abstractly model and study properties of resource-aware computations. Inspired by nominal techniques -- as those popular in process calculi -- we…