13 citations · 17 across the 9 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
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…
cs.FL2011★ 2 cited
Towards Nominal Formal Languages
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
We introduce formal languages over infinite alphabets where words may contain binders. We define the notions of nominal language, nominal monoid, and nominal regular expressions. M…