Matches in SemOpenAlex for { <https://semopenalex.org/work/W3034717274> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W3034717274 endingPage "136" @default.
- W3034717274 startingPage "127" @default.
- W3034717274 abstract "Multiparty Session Types (MPST) is a typing discipline for distributed protocols, which ensures communication safety and deadlock-freedom for more than two participants. This paper reports on our research project, implementing multiparty session types in Rust. Current Rust implementations of session types are limited to binary (two-party communications). We extend an existing library for binary session types to MPST. We have implemented a simplified Amazon Prime Video Streaming protocol using our library for both shared and distributed communication transports." @default.
- W3034717274 created "2020-06-19" @default.
- W3034717274 creator A5015037215 @default.
- W3034717274 creator A5025945877 @default.
- W3034717274 creator A5054171989 @default.
- W3034717274 date "2020-01-01" @default.
- W3034717274 modified "2023-10-04" @default.
- W3034717274 title "Implementing Multiparty Session Types in Rust" @default.
- W3034717274 cites W1784055113 @default.
- W3034717274 cites W1993460177 @default.
- W3034717274 cites W2027281287 @default.
- W3034717274 cites W2040105559 @default.
- W3034717274 cites W2119992090 @default.
- W3034717274 cites W2219871211 @default.
- W3034717274 cites W2482080645 @default.
- W3034717274 cites W2518106139 @default.
- W3034717274 cites W2899725893 @default.
- W3034717274 cites W2899726318 @default.
- W3034717274 cites W2906701300 @default.
- W3034717274 cites W2930652247 @default.
- W3034717274 cites W2965154247 @default.
- W3034717274 cites W2998679550 @default.
- W3034717274 cites W3100105801 @default.
- W3034717274 doi "https://doi.org/10.1007/978-3-030-50029-0_8" @default.
- W3034717274 hasPublicationYear "2020" @default.
- W3034717274 type Work @default.
- W3034717274 sameAs 3034717274 @default.
- W3034717274 citedByCount "9" @default.
- W3034717274 countsByYear W30347172742021 @default.
- W3034717274 countsByYear W30347172742022 @default.
- W3034717274 countsByYear W30347172742023 @default.
- W3034717274 crossrefType "book-chapter" @default.
- W3034717274 hasAuthorship W3034717274A5015037215 @default.
- W3034717274 hasAuthorship W3034717274A5025945877 @default.
- W3034717274 hasAuthorship W3034717274A5054171989 @default.
- W3034717274 hasBestOaLocation W30347172741 @default.
- W3034717274 hasConcept C120314980 @default.
- W3034717274 hasConcept C136764020 @default.
- W3034717274 hasConcept C142724271 @default.
- W3034717274 hasConcept C159023740 @default.
- W3034717274 hasConcept C197781089 @default.
- W3034717274 hasConcept C199360897 @default.
- W3034717274 hasConcept C204787440 @default.
- W3034717274 hasConcept C26713055 @default.
- W3034717274 hasConcept C2779182362 @default.
- W3034717274 hasConcept C2780385302 @default.
- W3034717274 hasConcept C31258907 @default.
- W3034717274 hasConcept C33923547 @default.
- W3034717274 hasConcept C41008148 @default.
- W3034717274 hasConcept C48372109 @default.
- W3034717274 hasConcept C71924100 @default.
- W3034717274 hasConcept C94375191 @default.
- W3034717274 hasConceptScore W3034717274C120314980 @default.
- W3034717274 hasConceptScore W3034717274C136764020 @default.
- W3034717274 hasConceptScore W3034717274C142724271 @default.
- W3034717274 hasConceptScore W3034717274C159023740 @default.
- W3034717274 hasConceptScore W3034717274C197781089 @default.
- W3034717274 hasConceptScore W3034717274C199360897 @default.
- W3034717274 hasConceptScore W3034717274C204787440 @default.
- W3034717274 hasConceptScore W3034717274C26713055 @default.
- W3034717274 hasConceptScore W3034717274C2779182362 @default.
- W3034717274 hasConceptScore W3034717274C2780385302 @default.
- W3034717274 hasConceptScore W3034717274C31258907 @default.
- W3034717274 hasConceptScore W3034717274C33923547 @default.
- W3034717274 hasConceptScore W3034717274C41008148 @default.
- W3034717274 hasConceptScore W3034717274C48372109 @default.
- W3034717274 hasConceptScore W3034717274C71924100 @default.
- W3034717274 hasConceptScore W3034717274C94375191 @default.
- W3034717274 hasLocation W30347172741 @default.
- W3034717274 hasLocation W30347172742 @default.
- W3034717274 hasLocation W30347172743 @default.
- W3034717274 hasLocation W30347172744 @default.
- W3034717274 hasLocation W30347172745 @default.
- W3034717274 hasOpenAccess W3034717274 @default.
- W3034717274 hasPrimaryLocation W30347172741 @default.
- W3034717274 hasRelatedWork W1485630101 @default.
- W3034717274 hasRelatedWork W1596157658 @default.
- W3034717274 hasRelatedWork W1964111820 @default.
- W3034717274 hasRelatedWork W2012480683 @default.
- W3034717274 hasRelatedWork W2083338789 @default.
- W3034717274 hasRelatedWork W2130966263 @default.
- W3034717274 hasRelatedWork W2348742136 @default.
- W3034717274 hasRelatedWork W3087157779 @default.
- W3034717274 hasRelatedWork W4231927834 @default.
- W3034717274 hasRelatedWork W4306770904 @default.
- W3034717274 isParatext "false" @default.
- W3034717274 isRetracted "false" @default.
- W3034717274 magId "3034717274" @default.
- W3034717274 workType "book-chapter" @default.