Matches in SemOpenAlex for { <https://semopenalex.org/work/W3094723157> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3094723157 endingPage "100620" @default.
- W3094723157 startingPage "100620" @default.
- W3094723157 abstract "Multiparty sessions are systems of concurrent processes, which allow several participants to communicate by sending and receiving messages. Their overall behaviour can be described by means of global types. Typable multiparty sessions enjoy lock-freedom. We 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. Gateways need to be compatible. We show 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. Compatibility between global types is necessary, since systems obtained by composing sessions with incompatible global types have locks (or they are not sessions). We also define direct composition, which allows one to connect two global types without using gateways. Finally, we propose a decomposition operator, to split a global type into two, which is the left inverse of direct composition. Direct composition and decomposition on global types prepare the ground for a novel framework allowing for the modular design and implementation of distributed systems." @default.
- W3094723157 created "2020-11-09" @default.
- W3094723157 creator A5030878839 @default.
- W3094723157 creator A5040202788 @default.
- W3094723157 creator A5053585862 @default.
- W3094723157 creator A5056498850 @default.
- W3094723157 date "2021-02-01" @default.
- W3094723157 modified "2023-10-14" @default.
- W3094723157 title "Composition and decomposition of multiparty sessions" @default.
- W3094723157 cites W2025970201 @default.
- W3094723157 cites W2032399648 @default.
- W3094723157 cites W2046488919 @default.
- W3094723157 cites W2065772939 @default.
- W3094723157 cites W2088962847 @default.
- W3094723157 cites W2303035549 @default.
- W3094723157 cites W2325347394 @default.
- W3094723157 cites W2553870630 @default.
- W3094723157 cites W2920083310 @default.
- W3094723157 cites W2963326822 @default.
- W3094723157 cites W2982272473 @default.
- W3094723157 cites W4212983671 @default.
- W3094723157 doi "https://doi.org/10.1016/j.jlamp.2020.100620" @default.
- W3094723157 hasPublicationYear "2021" @default.
- W3094723157 type Work @default.
- W3094723157 sameAs 3094723157 @default.
- W3094723157 citedByCount "13" @default.
- W3094723157 countsByYear W30947231572021 @default.
- W3094723157 countsByYear W30947231572022 @default.
- W3094723157 countsByYear W30947231572023 @default.
- W3094723157 crossrefType "journal-article" @default.
- W3094723157 hasAuthorship W3094723157A5030878839 @default.
- W3094723157 hasAuthorship W3094723157A5040202788 @default.
- W3094723157 hasAuthorship W3094723157A5053585862 @default.
- W3094723157 hasAuthorship W3094723157A5056498850 @default.
- W3094723157 hasBestOaLocation W30947231572 @default.
- W3094723157 hasConcept C101468663 @default.
- W3094723157 hasConcept C120314980 @default.
- W3094723157 hasConcept C124681953 @default.
- W3094723157 hasConcept C136764020 @default.
- W3094723157 hasConcept C138885662 @default.
- W3094723157 hasConcept C18903297 @default.
- W3094723157 hasConcept C199360897 @default.
- W3094723157 hasConcept C2779182362 @default.
- W3094723157 hasConcept C40231798 @default.
- W3094723157 hasConcept C41008148 @default.
- W3094723157 hasConcept C41895202 @default.
- W3094723157 hasConcept C80444323 @default.
- W3094723157 hasConcept C86803240 @default.
- W3094723157 hasConceptScore W3094723157C101468663 @default.
- W3094723157 hasConceptScore W3094723157C120314980 @default.
- W3094723157 hasConceptScore W3094723157C124681953 @default.
- W3094723157 hasConceptScore W3094723157C136764020 @default.
- W3094723157 hasConceptScore W3094723157C138885662 @default.
- W3094723157 hasConceptScore W3094723157C18903297 @default.
- W3094723157 hasConceptScore W3094723157C199360897 @default.
- W3094723157 hasConceptScore W3094723157C2779182362 @default.
- W3094723157 hasConceptScore W3094723157C40231798 @default.
- W3094723157 hasConceptScore W3094723157C41008148 @default.
- W3094723157 hasConceptScore W3094723157C41895202 @default.
- W3094723157 hasConceptScore W3094723157C80444323 @default.
- W3094723157 hasConceptScore W3094723157C86803240 @default.
- W3094723157 hasFunder F4320309746 @default.
- W3094723157 hasFunder F4320311030 @default.
- W3094723157 hasFunder F4320320217 @default.
- W3094723157 hasFunder F4320321873 @default.
- W3094723157 hasFunder F4320322690 @default.
- W3094723157 hasLocation W30947231571 @default.
- W3094723157 hasLocation W30947231572 @default.
- W3094723157 hasLocation W30947231573 @default.
- W3094723157 hasLocation W30947231574 @default.
- W3094723157 hasLocation W30947231575 @default.
- W3094723157 hasOpenAccess W3094723157 @default.
- W3094723157 hasPrimaryLocation W30947231571 @default.
- W3094723157 hasRelatedWork W1485627940 @default.
- W3094723157 hasRelatedWork W1596201972 @default.
- W3094723157 hasRelatedWork W2152433827 @default.
- W3094723157 hasRelatedWork W2160425906 @default.
- W3094723157 hasRelatedWork W2348742136 @default.
- W3094723157 hasRelatedWork W2888805005 @default.
- W3094723157 hasRelatedWork W3087157779 @default.
- W3094723157 hasRelatedWork W4231927834 @default.
- W3094723157 hasRelatedWork W4238335261 @default.
- W3094723157 hasRelatedWork W4306770904 @default.
- W3094723157 hasVolume "119" @default.
- W3094723157 isParatext "false" @default.
- W3094723157 isRetracted "false" @default.
- W3094723157 magId "3094723157" @default.
- W3094723157 workType "article" @default.