Realisability of branching pomsets (technical report)

L.J. Edixhoven, Sung-Shik Jongmans

Research output: Book/ReportTechnical reportAcademic

48 Downloads (Pure)


A communication protocol is realisable if it can be faithfully
implemented in a distributed fashion by communicating agents. Pomsets
offer a way to compactly represent concurrency in communication protocols and have been recently used for the purpose of realisability analysis.
In this paper we focus on the recently introduced branching pomsets,
which also compactly represent choices. We define well-formedness conditions on branching pomsets, inspired by multiparty session types, and
we prove that the well-formedness of a branching pomset is a sufficient
condition for the realisability of the represented communication protoco
Original languageEnglish
Place of PublicationHeerlen
PublisherOpen Universiteit Nederland
Number of pages28
Publication statusPublished - 2022

Publication series

SeriesOUNL-CS (Technical Reports)


Dive into the research topics of 'Realisability of branching pomsets (technical report)'. Together they form a unique fingerprint.

Cite this