Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912834065> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2912834065 abstract "Session types are formal specifications of communication protocols, allowing protocol implementations to be verified by typechecking. Up to now, session type disciplines have assumed that the communication medium is reliable, with no loss of messages. However, unreliable broadcast communication is common in a wide class of distributed systems such as ad-hoc and wireless sensor networks. Often such systems have structured communication patterns that should be amenable to analysis by means of session types, but the necessary theory has not previously been developed. We introduce the Unreliable Broadcast Session Calculus, a process calculus with unreliable broadcast communication, and equip it with a session type system that we show is sound. We capture two common operations, broadcast and gather, inhabiting dual session types. Message loss may lead to non-synchronised session endpoints. To further account for unreliability we provide with an autonomous recovery mechanism that does not require acknowledgements from session participants. Our type system ensures soundness, safety, and progress between the synchronised endpoints within a session. We demonstrate the expressiveness of our framework by implementing Paxos, the textbook protocol for reaching consensus in an unreliable, asynchronous network." @default.
- W2912834065 created "2019-02-21" @default.
- W2912834065 creator A5046163764 @default.
- W2912834065 creator A5063315892 @default.
- W2912834065 creator A5086120198 @default.
- W2912834065 date "2019-02-04" @default.
- W2912834065 modified "2023-09-27" @default.
- W2912834065 title "A Session Type System for Asynchronous Unreliable Broadcast Communication" @default.
- W2912834065 cites W1423284446 @default.
- W2912834065 cites W1784055113 @default.
- W2912834065 cites W1970789400 @default.
- W2912834065 cites W2004048608 @default.
- W2912834065 cites W2040105559 @default.
- W2912834065 cites W2046488919 @default.
- W2912834065 cites W2075854425 @default.
- W2912834065 cites W2104580047 @default.
- W2912834065 cites W2124126159 @default.
- W2912834065 cites W2129843408 @default.
- W2912834065 cites W2135716933 @default.
- W2912834065 cites W2143149536 @default.
- W2912834065 cites W2490211961 @default.
- W2912834065 cites W2619342549 @default.
- W2912834065 cites W46776511 @default.
- W2912834065 cites W91113134 @default.
- W2912834065 hasPublicationYear "2019" @default.
- W2912834065 type Work @default.
- W2912834065 sameAs 2912834065 @default.
- W2912834065 citedByCount "1" @default.
- W2912834065 countsByYear W29128340652021 @default.
- W2912834065 crossrefType "posted-content" @default.
- W2912834065 hasAuthorship W2912834065A5046163764 @default.
- W2912834065 hasAuthorship W2912834065A5063315892 @default.
- W2912834065 hasAuthorship W2912834065A5086120198 @default.
- W2912834065 hasConcept C110157686 @default.
- W2912834065 hasConcept C120314980 @default.
- W2912834065 hasConcept C136764020 @default.
- W2912834065 hasConcept C142724271 @default.
- W2912834065 hasConcept C151319957 @default.
- W2912834065 hasConcept C199360897 @default.
- W2912834065 hasConcept C204787440 @default.
- W2912834065 hasConcept C26713055 @default.
- W2912834065 hasConcept C2779182362 @default.
- W2912834065 hasConcept C2780385302 @default.
- W2912834065 hasConcept C31258907 @default.
- W2912834065 hasConcept C39920170 @default.
- W2912834065 hasConcept C41008148 @default.
- W2912834065 hasConcept C71924100 @default.
- W2912834065 hasConcept C83529365 @default.
- W2912834065 hasConcept C943373 @default.
- W2912834065 hasConceptScore W2912834065C110157686 @default.
- W2912834065 hasConceptScore W2912834065C120314980 @default.
- W2912834065 hasConceptScore W2912834065C136764020 @default.
- W2912834065 hasConceptScore W2912834065C142724271 @default.
- W2912834065 hasConceptScore W2912834065C151319957 @default.
- W2912834065 hasConceptScore W2912834065C199360897 @default.
- W2912834065 hasConceptScore W2912834065C204787440 @default.
- W2912834065 hasConceptScore W2912834065C26713055 @default.
- W2912834065 hasConceptScore W2912834065C2779182362 @default.
- W2912834065 hasConceptScore W2912834065C2780385302 @default.
- W2912834065 hasConceptScore W2912834065C31258907 @default.
- W2912834065 hasConceptScore W2912834065C39920170 @default.
- W2912834065 hasConceptScore W2912834065C41008148 @default.
- W2912834065 hasConceptScore W2912834065C71924100 @default.
- W2912834065 hasConceptScore W2912834065C83529365 @default.
- W2912834065 hasConceptScore W2912834065C943373 @default.
- W2912834065 hasLocation W29128340651 @default.
- W2912834065 hasOpenAccess W2912834065 @default.
- W2912834065 hasPrimaryLocation W29128340651 @default.
- W2912834065 hasRelatedWork W1563594151 @default.
- W2912834065 hasRelatedWork W1598390602 @default.
- W2912834065 hasRelatedWork W1688077206 @default.
- W2912834065 hasRelatedWork W1800096808 @default.
- W2912834065 hasRelatedWork W1849677436 @default.
- W2912834065 hasRelatedWork W1998232325 @default.
- W2912834065 hasRelatedWork W2001305938 @default.
- W2912834065 hasRelatedWork W2027032605 @default.
- W2912834065 hasRelatedWork W2101897398 @default.
- W2912834065 hasRelatedWork W2144606173 @default.
- W2912834065 hasRelatedWork W2181687669 @default.
- W2912834065 hasRelatedWork W2377038515 @default.
- W2912834065 hasRelatedWork W2891346623 @default.
- W2912834065 hasRelatedWork W2932400785 @default.
- W2912834065 hasRelatedWork W2953789182 @default.
- W2912834065 hasRelatedWork W2990034815 @default.
- W2912834065 hasRelatedWork W3009662339 @default.
- W2912834065 hasRelatedWork W3151110379 @default.
- W2912834065 hasRelatedWork W3178563932 @default.
- W2912834065 hasRelatedWork W2209199672 @default.
- W2912834065 isParatext "false" @default.
- W2912834065 isRetracted "false" @default.
- W2912834065 magId "2912834065" @default.
- W2912834065 workType "article" @default.