Shuffling posets on trajectories (technical report)
arXiv:2309.09189 · doi:10.1007/978-3-031-47705-8_21
Abstract
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 operator to design more expressive choreographic languages, and the use of models featuring partial orders, to compactly represent concurrency between agents. Specifically, in this paper, we explore the application of the shuffle on trajectories operator to individual posets, and we give a characterisation of shuffles of posets which again yield an individual poset.
9 pages. Technical report of a paper to be published in the conference proceedings of iFM 2023