Shuffling posets on trajectories (technical report)

Luc Edixhoven

Choreographies describe possible sequences of interactions among a set of agents. We aim to join two lines of research on choreographies: the use of the shuffle on trajectories ope…