38 citations · 145 across the 24 of their papers we have counts for
1 paper · 1 filter
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…