13 citations · 54 across the 13 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.FL2019
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…
cs.FL2019
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…