11 citations · 33 across the 7 of their papers we have counts for
1 paper · 1 filter
Luc Edixhoven, Sung-Shik Jongmans, José Proença +1
Choreographic languages describe possible sequences of interactions among a set of agents. Typical models are based on languages or automata over sending and receiving actions. Pom…