Choreographies have the benefit of guaranteeing certain safety properties by construction. We propose a new structure to compactly represent their behaviour based on partially ordered multisets (pomsets), which we call branching pomsets.
Aug 9, 2022 · This paper proposes an extension of pomsets, named branching pomsets, with a branching structure that can represent Alice's behaviour using 2 + ...
Dec 21, 2023 · We encode choreographies as branching pomsets and show that the pomset semantics of the encoded choreographies are bisimilar to their.
We encode choreographies as branching pomsets and show that the pomset semantics of the encoded choreographies are bisimilar to their operational semantics ...
We encode choreographies as branching pomsets and show that the pomset semantics of the encoded choreographies are bisimilar to their operational semantics.
This paper proposes an extension of pomsets, named branching pomsets, with a branching structurethat can represent Alice's behaviour using 2+2+2 ordered actions ...
This paper encodes choreographies as branching pomsets and shows that the pomset semantics of the encoded choreographies are bisimilar to their operational ...
Sep 20, 2023 · This paper proposes an extension of pomsets, named branching pomsets, with a branching structure that can represent Alice's behaviour using 2 + ...
May 21, 2024 · Pomsets provide a more compact alternative by using a partial order to explicitly represent causality and concurrency between these actions.
We encode choreographies as branching pomsets and show that the pomset semantics of the encoded choreographies are bisimilar to their operational semantics.