Composition and decomposition of multiparty sessions (Q1996856)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Composition and decomposition of multiparty sessions |
scientific article |
Statements
Composition and decomposition of multiparty sessions (English)
0 references
26 February 2021
0 references
The authors look at multiparty sessions as open systems by allowing one to compose multiparty sessions by transforming two of their participants into a pair of coupled gateways, forwarding messages between the two sessions. It is shown that the session resulting from the composition can be typed, and its type can be computed from the global types of the starting sessions. As a consequence, lock-freedom is preserved by composition. Direct composition is also defined, which allows one to connect two global types without using gateways. Finally, a decomposition operator is proposed to split a global type into two, which is the left inverse of direct composition.
0 references
distributed systems
0 references
open systems
0 references
interface compatibility
0 references