19 citations · 53 across the 12 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…