2022-11-02
Realisability of branching pomsets
Publication
Publication
Presented at the
18th International Conference on Formal Aspects of Component Software, FACS 2022 (November 2022), Oslo, Norway
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.
| Additional Metadata | |
|---|---|
| , , | |
| doi.org/10.1007/978-3-031-20872-0_11 | |
| 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., & Jongmans, S. (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 |
|
