Matches in SemOpenAlex for { <https://semopenalex.org/work/W3174247265> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3174247265 endingPage "40" @default.
- W3174247265 startingPage "23" @default.
- W3174247265 abstract "Session types denote message protocols between concurrent processes, allowing a type-safe expression of inter-process communication. Although previous work demonstrate a well-defined notion of subtyping where processes have different perceptions of the protocol, these formulations were limited to linear session types where each channel of communication has a unique provider and client. In this paper, we extend subtyping to shared session types where channels can now have multiple clients instead of a single client. We demonstrate that this generalization can statically capture protocol requirements that span multiple phases of interactions of a client with a shared service provider, something not possible in prior proposals. Moreover, the phases are manifest in the type of the client." @default.
- W3174247265 created "2021-07-05" @default.
- W3174247265 creator A5021476649 @default.
- W3174247265 creator A5076519139 @default.
- W3174247265 creator A5083850156 @default.
- W3174247265 date "2021-01-01" @default.
- W3174247265 modified "2023-10-17" @default.
- W3174247265 title "Manifestly Phased Communication via Shared Session Types" @default.
- W3174247265 cites W1607623316 @default.
- W3174247265 cites W1784055113 @default.
- W3174247265 cites W1941373452 @default.
- W3174247265 cites W1999161312 @default.
- W3174247265 cites W2023127104 @default.
- W3174247265 cites W2088962847 @default.
- W3174247265 cites W2153557668 @default.
- W3174247265 cites W2753352514 @default.
- W3174247265 cites W2933941175 @default.
- W3174247265 cites W2949178056 @default.
- W3174247265 cites W2963326822 @default.
- W3174247265 cites W3004319768 @default.
- W3174247265 cites W3105466317 @default.
- W3174247265 cites W3113857243 @default.
- W3174247265 cites W3143995087 @default.
- W3174247265 cites W3191748134 @default.
- W3174247265 cites W4233387250 @default.
- W3174247265 cites W776882319 @default.
- W3174247265 doi "https://doi.org/10.1007/978-3-030-78142-2_2" @default.
- W3174247265 hasPublicationYear "2021" @default.
- W3174247265 type Work @default.
- W3174247265 sameAs 3174247265 @default.
- W3174247265 citedByCount "1" @default.
- W3174247265 countsByYear W31742472652021 @default.
- W3174247265 crossrefType "book-chapter" @default.
- W3174247265 hasAuthorship W3174247265A5021476649 @default.
- W3174247265 hasAuthorship W3174247265A5076519139 @default.
- W3174247265 hasAuthorship W3174247265A5083850156 @default.
- W3174247265 hasBestOaLocation W31742472653 @default.
- W3174247265 hasConcept C120314980 @default.
- W3174247265 hasConcept C127162648 @default.
- W3174247265 hasConcept C134306372 @default.
- W3174247265 hasConcept C136764020 @default.
- W3174247265 hasConcept C142724271 @default.
- W3174247265 hasConcept C177148314 @default.
- W3174247265 hasConcept C199360897 @default.
- W3174247265 hasConcept C204787440 @default.
- W3174247265 hasConcept C2779182362 @default.
- W3174247265 hasConcept C2780385302 @default.
- W3174247265 hasConcept C31258907 @default.
- W3174247265 hasConcept C33923547 @default.
- W3174247265 hasConcept C41008148 @default.
- W3174247265 hasConcept C71924100 @default.
- W3174247265 hasConcept C83852419 @default.
- W3174247265 hasConceptScore W3174247265C120314980 @default.
- W3174247265 hasConceptScore W3174247265C127162648 @default.
- W3174247265 hasConceptScore W3174247265C134306372 @default.
- W3174247265 hasConceptScore W3174247265C136764020 @default.
- W3174247265 hasConceptScore W3174247265C142724271 @default.
- W3174247265 hasConceptScore W3174247265C177148314 @default.
- W3174247265 hasConceptScore W3174247265C199360897 @default.
- W3174247265 hasConceptScore W3174247265C204787440 @default.
- W3174247265 hasConceptScore W3174247265C2779182362 @default.
- W3174247265 hasConceptScore W3174247265C2780385302 @default.
- W3174247265 hasConceptScore W3174247265C31258907 @default.
- W3174247265 hasConceptScore W3174247265C33923547 @default.
- W3174247265 hasConceptScore W3174247265C41008148 @default.
- W3174247265 hasConceptScore W3174247265C71924100 @default.
- W3174247265 hasConceptScore W3174247265C83852419 @default.
- W3174247265 hasLocation W31742472651 @default.
- W3174247265 hasLocation W31742472652 @default.
- W3174247265 hasLocation W31742472653 @default.
- W3174247265 hasOpenAccess W3174247265 @default.
- W3174247265 hasPrimaryLocation W31742472651 @default.
- W3174247265 hasRelatedWork W1500064003 @default.
- W3174247265 hasRelatedWork W2004756043 @default.
- W3174247265 hasRelatedWork W2130966263 @default.
- W3174247265 hasRelatedWork W2348742136 @default.
- W3174247265 hasRelatedWork W2885094885 @default.
- W3174247265 hasRelatedWork W2972579386 @default.
- W3174247265 hasRelatedWork W3087157779 @default.
- W3174247265 hasRelatedWork W3118533970 @default.
- W3174247265 hasRelatedWork W4231927834 @default.
- W3174247265 hasRelatedWork W4306770904 @default.
- W3174247265 isParatext "false" @default.
- W3174247265 isRetracted "false" @default.
- W3174247265 magId "3174247265" @default.
- W3174247265 workType "book-chapter" @default.