Shuffling posets on trajectories (technical report)
Formal Languages and Automata Theory
2023-11-14 v1
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.
Cite
@article{arxiv.2309.09189,
title = {Shuffling posets on trajectories (technical report)},
author = {Luc Edixhoven},
journal= {arXiv preprint arXiv:2309.09189},
year = {2023}
}
Comments
9 pages. Technical report of a paper to be published in the conference proceedings of iFM 2023