Matches in SemOpenAlex for { <https://semopenalex.org/work/W2977241542> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2977241542 endingPage "153" @default.
- W2977241542 startingPage "128" @default.
- W2977241542 abstract "This paper investigates a new form of delegation for multiparty session calculi. Usually, delegation allows a session participant to appoint a participant in another session to act on her behalf. This means that delegation is inherently an inter-session mechanism, which requires session interleaving. Hence delegation falls outside the descriptive power of global types, which specify single sessions. As a consequence, properties such as deadlock-freedom or lock-freedom are difficult to ensure in the presence of delegation. Here we adopt a different view of delegation, by allowing participants to delegate tasks to each other within the same multiparty session. This way, delegation occurs within a single session (internal delegation) and may be captured by its global type. To increase flexibility in the use of delegation, our calculus uses connecting communications, which allow optional participants in the branches of choices. By these means, we are able to express conditional delegation. We present a session type system based on global types with internal delegation, and show that it ensures the usual safety properties of multiparty sessions, together with a progress property." @default.
- W2977241542 created "2019-10-03" @default.
- W2977241542 creator A5000984497 @default.
- W2977241542 creator A5053585862 @default.
- W2977241542 creator A5057279396 @default.
- W2977241542 creator A5087967629 @default.
- W2977241542 date "2020-02-01" @default.
- W2977241542 modified "2023-10-15" @default.
- W2977241542 title "Global types with internal delegation" @default.
- W2977241542 cites W1964615470 @default.
- W2977241542 cites W1972106757 @default.
- W2977241542 cites W2015932520 @default.
- W2977241542 cites W2036364764 @default.
- W2977241542 cites W2046488919 @default.
- W2977241542 cites W2065772939 @default.
- W2977241542 cites W2110010771 @default.
- W2977241542 cites W2165294971 @default.
- W2977241542 cites W2325347394 @default.
- W2977241542 cites W2329205359 @default.
- W2977241542 cites W2899726318 @default.
- W2977241542 cites W2920083310 @default.
- W2977241542 doi "https://doi.org/10.1016/j.tcs.2019.09.027" @default.
- W2977241542 hasPublicationYear "2020" @default.
- W2977241542 type Work @default.
- W2977241542 sameAs 2977241542 @default.
- W2977241542 citedByCount "11" @default.
- W2977241542 countsByYear W29772415422021 @default.
- W2977241542 countsByYear W29772415422022 @default.
- W2977241542 countsByYear W29772415422023 @default.
- W2977241542 crossrefType "journal-article" @default.
- W2977241542 hasAuthorship W2977241542A5000984497 @default.
- W2977241542 hasAuthorship W2977241542A5053585862 @default.
- W2977241542 hasAuthorship W2977241542A5057279396 @default.
- W2977241542 hasAuthorship W2977241542A5087967629 @default.
- W2977241542 hasBestOaLocation W29772415422 @default.
- W2977241542 hasConcept C105795698 @default.
- W2977241542 hasConcept C136764020 @default.
- W2977241542 hasConcept C143273055 @default.
- W2977241542 hasConcept C17744445 @default.
- W2977241542 hasConcept C199360897 @default.
- W2977241542 hasConcept C199539241 @default.
- W2977241542 hasConcept C2779182362 @default.
- W2977241542 hasConcept C2780598303 @default.
- W2977241542 hasConcept C33923547 @default.
- W2977241542 hasConcept C38652104 @default.
- W2977241542 hasConcept C41008148 @default.
- W2977241542 hasConcept C86532276 @default.
- W2977241542 hasConceptScore W2977241542C105795698 @default.
- W2977241542 hasConceptScore W2977241542C136764020 @default.
- W2977241542 hasConceptScore W2977241542C143273055 @default.
- W2977241542 hasConceptScore W2977241542C17744445 @default.
- W2977241542 hasConceptScore W2977241542C199360897 @default.
- W2977241542 hasConceptScore W2977241542C199539241 @default.
- W2977241542 hasConceptScore W2977241542C2779182362 @default.
- W2977241542 hasConceptScore W2977241542C2780598303 @default.
- W2977241542 hasConceptScore W2977241542C33923547 @default.
- W2977241542 hasConceptScore W2977241542C38652104 @default.
- W2977241542 hasConceptScore W2977241542C41008148 @default.
- W2977241542 hasConceptScore W2977241542C86532276 @default.
- W2977241542 hasFunder F4320323374 @default.
- W2977241542 hasLocation W29772415421 @default.
- W2977241542 hasLocation W29772415422 @default.
- W2977241542 hasLocation W29772415423 @default.
- W2977241542 hasOpenAccess W2977241542 @default.
- W2977241542 hasPrimaryLocation W29772415421 @default.
- W2977241542 hasRelatedWork W115332106 @default.
- W2977241542 hasRelatedWork W1591695585 @default.
- W2977241542 hasRelatedWork W1975904519 @default.
- W2977241542 hasRelatedWork W2091948289 @default.
- W2977241542 hasRelatedWork W2105969014 @default.
- W2977241542 hasRelatedWork W2318881549 @default.
- W2977241542 hasRelatedWork W2559470891 @default.
- W2977241542 hasRelatedWork W3125255130 @default.
- W2977241542 hasRelatedWork W3183911098 @default.
- W2977241542 hasRelatedWork W4386088672 @default.
- W2977241542 hasVolume "807" @default.
- W2977241542 isParatext "false" @default.
- W2977241542 isRetracted "false" @default.
- W2977241542 magId "2977241542" @default.
- W2977241542 workType "article" @default.