Shuffling posets on trajectories (technical report)

Research output: Working paper / PreprintPreprintAcademic

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.
Original languageEnglish
PublisherCornell University - arXiv
DOIs
Publication statusPublished - 17 Sept 2023

Fingerprint

Dive into the research topics of 'Shuffling posets on trajectories (technical report)'. Together they form a unique fingerprint.

Cite this