20 citations · 90 across the 19 of their papers we have counts for
1 paper · 2 filters
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…