Shuffling Posets on Trajectories

Luc Edixhoven

doi:10.1007/978-3-031-47705-8_21

Shuffling Posets on Trajectories

Luc Edixhoven^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

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
Title of host publication	iFM 2023 - 18th International Conference, iFM 2023, Proceedings
Subtitle of host publication	18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
Editors	Paula Herber, Anton Wijs
Publisher	Springer
Pages	384-390
Number of pages	7
ISBN (Electronic)	9783031477058
ISBN (Print)	9783031477041
DOIs	https://doi.org/10.1007/978-3-031-47705-8_21
Publication status	Published - 6 Nov 2023
Event	18th International Conference on integrated Formal Methods - Leiden, Netherlands Duration: 13 Nov 2023 → 15 Nov 2023 https://ifm23.liacs.nl/

Publication series

Series	Lecture Notes in Computer Science
Volume	14300
ISSN	0302-9743

Conference

Conference	18th International Conference on integrated Formal Methods
Abbreviated title	iFM 2023
Country/Territory	Netherlands
City	Leiden
Period	13/11/23 → 15/11/23
Internet address	https://ifm23.liacs.nl/

Access to Document

10.1007/978-3-031-47705-8_21

Cite this

@inproceedings{be440eeb76ff49a4a6c5eec300f5cd6c,

title = "Shuffling Posets on Trajectories",

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

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.; 18th International Conference on integrated Formal Methods , iFM 2023 ; Conference date: 13-11-2023 Through 15-11-2023",

year = "2023",

month = nov,

day = "6",

doi = "10.1007/978-3-031-47705-8_21",

language = "English",

isbn = "9783031477041",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "384--390",

editor = "Paula Herber and Anton Wijs",

booktitle = "iFM 2023 - 18th International Conference, iFM 2023, Proceedings",

url = "https://ifm23.liacs.nl/",

}

Edixhoven, L 2023, Shuffling Posets on Trajectories. in P Herber & A Wijs (eds), iFM 2023 - 18th International Conference, iFM 2023, Proceedings: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Springer, Lecture Notes in Computer Science, vol. 14300, pp. 384-390, 18th International Conference on integrated Formal Methods , Leiden, Netherlands, 13/11/23. https://doi.org/10.1007/978-3-031-47705-8_21

Shuffling Posets on Trajectories. / Edixhoven, Luc.
iFM 2023 - 18th International Conference, iFM 2023, Proceedings: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. ed. / Paula Herber; Anton Wijs. Springer, 2023. p. 384-390 (Lecture Notes in Computer Science, Vol. 14300).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - Shuffling Posets on Trajectories

AU - Edixhoven, Luc

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2023/11/6

Y1 - 2023/11/6

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.1007/978-3-031-47705-8_21

DO - 10.1007/978-3-031-47705-8_21

M3 - Conference Article in proceeding

SN - 9783031477041

T3 - Lecture Notes in Computer Science

SP - 384

EP - 390

BT - iFM 2023 - 18th International Conference, iFM 2023, Proceedings

A2 - Herber, Paula

A2 - Wijs, Anton

PB - Springer

T2 - 18th International Conference on integrated Formal Methods

Y2 - 13 November 2023 through 15 November 2023

ER -

Shuffling Posets on Trajectories

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this