Matches in SemOpenAlex for { <https://semopenalex.org/work/W4293196502> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W4293196502 endingPage "113" @default.
- W4293196502 startingPage "93" @default.
- W4293196502 abstract "Multiparty session types are designed to abstractly capture the structure of communication protocols and verify behavioural properties. One important such property is progress, i.e., the absence of deadlock. Distributed algorithms often resemble multiparty communication protocols. But proving their properties, in particular termination that is closely related to progress, can be elaborate. Since distributed algorithms are often designed to cope with faults, a first step towards using session types to verify distributed algorithms is to integrate fault-tolerance. We extend multiparty session types to cope with system failures such as unreliable communication and process crashes. Moreover, we augment the semantics of processes by failure patterns that can be used to represent system requirements (as, e.g., failure detectors). To illustrate our approach we analyse a variant of the well-known rotating coordinator algorithm by Chandra and Toueg." @default.
- W4293196502 created "2022-08-27" @default.
- W4293196502 creator A5018685791 @default.
- W4293196502 creator A5053791557 @default.
- W4293196502 creator A5085304663 @default.
- W4293196502 date "2022-01-01" @default.
- W4293196502 modified "2023-10-14" @default.
- W4293196502 title "Fault-Tolerant Multiparty Session Types" @default.
- W4293196502 cites W1498709867 @default.
- W4293196502 cites W1516360493 @default.
- W4293196502 cites W1528448306 @default.
- W4293196502 cites W1558489501 @default.
- W4293196502 cites W1577633104 @default.
- W4293196502 cites W1585111997 @default.
- W4293196502 cites W1611165480 @default.
- W4293196502 cites W1859947016 @default.
- W4293196502 cites W1982492802 @default.
- W4293196502 cites W2005274596 @default.
- W4293196502 cites W2027330435 @default.
- W4293196502 cites W2040105559 @default.
- W4293196502 cites W2045352000 @default.
- W4293196502 cites W2121883877 @default.
- W4293196502 cites W2133943294 @default.
- W4293196502 cites W2135716933 @default.
- W4293196502 cites W2155037890 @default.
- W4293196502 cites W2169624732 @default.
- W4293196502 cites W2325347394 @default.
- W4293196502 cites W2464610770 @default.
- W4293196502 cites W2584381671 @default.
- W4293196502 cites W2619342549 @default.
- W4293196502 cites W2758436165 @default.
- W4293196502 cites W2797112223 @default.
- W4293196502 cites W2915033835 @default.
- W4293196502 cites W2977241542 @default.
- W4293196502 cites W2982095937 @default.
- W4293196502 cites W3175598503 @default.
- W4293196502 cites W4224943630 @default.
- W4293196502 cites W835760671 @default.
- W4293196502 cites W84711077 @default.
- W4293196502 doi "https://doi.org/10.1007/978-3-031-08679-3_7" @default.
- W4293196502 hasPublicationYear "2022" @default.
- W4293196502 type Work @default.
- W4293196502 citedByCount "1" @default.
- W4293196502 countsByYear W42931965022023 @default.
- W4293196502 crossrefType "book-chapter" @default.
- W4293196502 hasAuthorship W4293196502A5018685791 @default.
- W4293196502 hasAuthorship W4293196502A5053791557 @default.
- W4293196502 hasAuthorship W4293196502A5085304663 @default.
- W4293196502 hasConcept C111472728 @default.
- W4293196502 hasConcept C120314980 @default.
- W4293196502 hasConcept C136764020 @default.
- W4293196502 hasConcept C138885662 @default.
- W4293196502 hasConcept C159023740 @default.
- W4293196502 hasConcept C184337299 @default.
- W4293196502 hasConcept C189950617 @default.
- W4293196502 hasConcept C199360897 @default.
- W4293196502 hasConcept C2779182362 @default.
- W4293196502 hasConcept C41008148 @default.
- W4293196502 hasConcept C63540848 @default.
- W4293196502 hasConcept C80444323 @default.
- W4293196502 hasConcept C98045186 @default.
- W4293196502 hasConceptScore W4293196502C111472728 @default.
- W4293196502 hasConceptScore W4293196502C120314980 @default.
- W4293196502 hasConceptScore W4293196502C136764020 @default.
- W4293196502 hasConceptScore W4293196502C138885662 @default.
- W4293196502 hasConceptScore W4293196502C159023740 @default.
- W4293196502 hasConceptScore W4293196502C184337299 @default.
- W4293196502 hasConceptScore W4293196502C189950617 @default.
- W4293196502 hasConceptScore W4293196502C199360897 @default.
- W4293196502 hasConceptScore W4293196502C2779182362 @default.
- W4293196502 hasConceptScore W4293196502C41008148 @default.
- W4293196502 hasConceptScore W4293196502C63540848 @default.
- W4293196502 hasConceptScore W4293196502C80444323 @default.
- W4293196502 hasConceptScore W4293196502C98045186 @default.
- W4293196502 hasLocation W42931965021 @default.
- W4293196502 hasOpenAccess W4293196502 @default.
- W4293196502 hasPrimaryLocation W42931965021 @default.
- W4293196502 hasRelatedWork W1547545050 @default.
- W4293196502 hasRelatedWork W1568546724 @default.
- W4293196502 hasRelatedWork W2027487876 @default.
- W4293196502 hasRelatedWork W2170002938 @default.
- W4293196502 hasRelatedWork W2351378856 @default.
- W4293196502 hasRelatedWork W2901900876 @default.
- W4293196502 hasRelatedWork W2978510736 @default.
- W4293196502 hasRelatedWork W3100139235 @default.
- W4293196502 hasRelatedWork W3102446781 @default.
- W4293196502 hasRelatedWork W2147034415 @default.
- W4293196502 isParatext "false" @default.
- W4293196502 isRetracted "false" @default.
- W4293196502 workType "book-chapter" @default.