Shuffling posets on trajectories (technical report)

Luc Edixhoven

doi:10.48550/arXiv.2309.09189

Shuffling posets on trajectories (technical report)

Luc Edixhoven

Research output: Working paper / Preprint › Preprint › Academic

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 language	English
Publisher	Cornell University - arXiv
DOIs	https://doi.org/10.48550/arXiv.2309.09189
Publication status	Published - 17 Sept 2023

Access to Document

10.48550/arXiv.2309.09189Licence: CC BY

Cite this

@techreport{5d9ca2c6c1ca4eed84b1b58443197302,

title = "Shuffling posets on trajectories (technical report)",

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.",

author = "Luc Edixhoven",

year = "2023",

month = sep,

day = "17",

doi = "10.48550/arXiv.2309.09189",

language = "English",

publisher = "Cornell University - arXiv",

address = "United States",

type = "WorkingPaper",

institution = "Cornell University - arXiv",

}

TY - UNPB

T1 - Shuffling posets on trajectories (technical report)

AU - Edixhoven, Luc

PY - 2023/9/17

Y1 - 2023/9/17

N2 - 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.

AB - 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.

U2 - 10.48550/arXiv.2309.09189

DO - 10.48550/arXiv.2309.09189

M3 - Preprint

BT - Shuffling posets on trajectories (technical report)

PB - Cornell University - arXiv

ER -

Shuffling posets on trajectories (technical report)

Abstract

Access to Document

Fingerprint

Cite this