Realisability of branching pomsets
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 protocol.
|Lecture Notes in Computer Science|
|18th International Conference on Formal Aspects of Component Software, FACS 2022|
|Organisation||Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands|
Edixhoven, L.J, & Jongmans, S.-S.T.Q. (2022). Realisability of branching pomsets. In Proceedings of the 18th International Conference on Formal Aspects of Component Software, FACS 2022 (pp. 185–204). doi:10.1007/978-3-031-20872-0_11