2024-01-02
Shuffling posets on trajectories
Publication
Publication
Presented at the
18th International Conference on Integrated Formal Methods, iFM 2023 (November 2023), Leiden, The Netherlands
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.
| Additional Metadata | |
|---|---|
| , , | |
| doi.org/10.1007/978-3-031-47705-8_21 | |
| Lecture Notes in Computer Science | |
| 18th International Conference on Integrated Formal Methods, iFM 2023 | |
| Organisation | Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands |
|
Edixhoven, L. (2024). Shuffling posets on trajectories. In Proceedings of the 18th International Conference on Integrated Formal Methods, iFM 2023 (pp. 384–390). doi:10.1007/978-3-031-47705-8_21 |
|