Composition and decomposition of multiparty sessions (Q1996856)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7316060
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Composition and decomposition of multiparty sessions |
scientific article; zbMATH DE number 7316060 |
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
0.7815394997596741
0 references
0.7795685529708862
0 references
0.7753308415412903
0 references
0.7737369537353516
0 references
