Matches in SemOpenAlex for { <https://semopenalex.org/work/W91113134> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W91113134 endingPage "66" @default.
- W91113134 startingPage "51" @default.
- W91113134 abstract "Session types are a type formalism used to describe communication protocols over private session channels. Each participant in a binary session owns one endpoint of a session channel. A key notion is that of duality: the endpoints of a session channel should have dual session types in order to guarantee communication safety. Duality relations have been independently defined in different ways and different works, without considering their effect on the type system. In this paper we systematically study the existing duality relations and some new ones, and compare them in order to understand their expressiveness. The outcome is that those relations are split into two groups, one related to the naïve inductive duality, and the other related to a notion of mutual compliance, which we borrow from the literature on contracts for web-services." @default.
- W91113134 created "2016-06-24" @default.
- W91113134 creator A5046163764 @default.
- W91113134 creator A5050784078 @default.
- W91113134 creator A5075070480 @default.
- W91113134 date "2014-01-01" @default.
- W91113134 modified "2023-10-14" @default.
- W91113134 title "On Duality Relations for Session Types" @default.
- W91113134 cites W1498393124 @default.
- W91113134 cites W1537254735 @default.
- W91113134 cites W1607623316 @default.
- W91113134 cites W1784055113 @default.
- W91113134 cites W1991069274 @default.
- W91113134 cites W2023127104 @default.
- W91113134 cites W2088962847 @default.
- W91113134 cites W2119992090 @default.
- W91113134 cites W2124126159 @default.
- W91113134 cites W2128280268 @default.
- W91113134 cites W2913281688 @default.
- W91113134 cites W2955123331 @default.
- W91113134 cites W3005030212 @default.
- W91113134 doi "https://doi.org/10.1007/978-3-662-45917-1_4" @default.
- W91113134 hasPublicationYear "2014" @default.
- W91113134 type Work @default.
- W91113134 sameAs 91113134 @default.
- W91113134 citedByCount "17" @default.
- W91113134 countsByYear W911131342015 @default.
- W91113134 countsByYear W911131342016 @default.
- W91113134 countsByYear W911131342019 @default.
- W91113134 countsByYear W911131342020 @default.
- W91113134 countsByYear W911131342021 @default.
- W91113134 countsByYear W911131342022 @default.
- W91113134 countsByYear W911131342023 @default.
- W91113134 crossrefType "book-chapter" @default.
- W91113134 hasAuthorship W91113134A5046163764 @default.
- W91113134 hasAuthorship W91113134A5050784078 @default.
- W91113134 hasAuthorship W91113134A5075070480 @default.
- W91113134 hasBestOaLocation W911131342 @default.
- W91113134 hasConcept C118615104 @default.
- W91113134 hasConcept C124952713 @default.
- W91113134 hasConcept C127162648 @default.
- W91113134 hasConcept C136764020 @default.
- W91113134 hasConcept C142362112 @default.
- W91113134 hasConcept C148730421 @default.
- W91113134 hasConcept C191197275 @default.
- W91113134 hasConcept C2778023678 @default.
- W91113134 hasConcept C2779182362 @default.
- W91113134 hasConcept C2780980858 @default.
- W91113134 hasConcept C31258907 @default.
- W91113134 hasConcept C33923547 @default.
- W91113134 hasConcept C41008148 @default.
- W91113134 hasConcept C65180967 @default.
- W91113134 hasConcept C80444323 @default.
- W91113134 hasConceptScore W91113134C118615104 @default.
- W91113134 hasConceptScore W91113134C124952713 @default.
- W91113134 hasConceptScore W91113134C127162648 @default.
- W91113134 hasConceptScore W91113134C136764020 @default.
- W91113134 hasConceptScore W91113134C142362112 @default.
- W91113134 hasConceptScore W91113134C148730421 @default.
- W91113134 hasConceptScore W91113134C191197275 @default.
- W91113134 hasConceptScore W91113134C2778023678 @default.
- W91113134 hasConceptScore W91113134C2779182362 @default.
- W91113134 hasConceptScore W91113134C2780980858 @default.
- W91113134 hasConceptScore W91113134C31258907 @default.
- W91113134 hasConceptScore W91113134C33923547 @default.
- W91113134 hasConceptScore W91113134C41008148 @default.
- W91113134 hasConceptScore W91113134C65180967 @default.
- W91113134 hasConceptScore W91113134C80444323 @default.
- W91113134 hasLocation W911131341 @default.
- W91113134 hasLocation W911131342 @default.
- W91113134 hasLocation W911131343 @default.
- W91113134 hasOpenAccess W91113134 @default.
- W91113134 hasPrimaryLocation W911131341 @default.
- W91113134 hasRelatedWork W2036573563 @default.
- W91113134 hasRelatedWork W2059054551 @default.
- W91113134 hasRelatedWork W2348742136 @default.
- W91113134 hasRelatedWork W2892450296 @default.
- W91113134 hasRelatedWork W3007825024 @default.
- W91113134 hasRelatedWork W3087157779 @default.
- W91113134 hasRelatedWork W3161850903 @default.
- W91113134 hasRelatedWork W4231927834 @default.
- W91113134 hasRelatedWork W4287863001 @default.
- W91113134 hasRelatedWork W4306770904 @default.
- W91113134 isParatext "false" @default.
- W91113134 isRetracted "false" @default.
- W91113134 magId "91113134" @default.
- W91113134 workType "book-chapter" @default.