Matches in SemOpenAlex for { <https://semopenalex.org/work/W2092431596> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2092431596 endingPage "169" @default.
- W2092431596 startingPage "121" @default.
- W2092431596 abstract "This work applies the theory of knowledge in distributed systems to the design of efficient fault-tolerant protocols. We define a large class of problems requiring coordinated, simultaneous action in synchronous systems, and give a method of transforming specifications of such problems into protocols that areoptimal in all runs: these protocols are guaranteed to perform the simultaneous actions as soon as any other protocol could possibly perform them, given the input to the system and faulty processor behavior. This transformation is performed in two steps. In the first step we extract, directly from the problem specification, a high-level protocol programmed using explicit tests for common knowledge. In the second step we carefully analyze when facts become common knowledge, thereby providing a method of efficiently implementing these protocols in many variants of the omissions failure model. In the generalized omissions model, however, our analysis shows that testing for common knowledge is NP-hard. Given the close correspondence between common knowledge and simultaneous actions, we are able to show that no optimal protocol for any such problem can be computationally efficient in this model. The analysis in this paper exposes many subtle differences between the failure models, including the precise point at which this gap in complexity occurs." @default.
- W2092431596 created "2016-06-24" @default.
- W2092431596 creator A5005055897 @default.
- W2092431596 creator A5050259900 @default.
- W2092431596 date "1988-11-01" @default.
- W2092431596 modified "2023-10-18" @default.
- W2092431596 title "Programming simultaneous actions using common knowledge" @default.
- W2092431596 cites W1552521662 @default.
- W2092431596 cites W1576317032 @default.
- W2092431596 cites W1600159979 @default.
- W2092431596 cites W1966459260 @default.
- W2092431596 cites W1988777029 @default.
- W2092431596 cites W1999273011 @default.
- W2092431596 cites W2002477558 @default.
- W2092431596 cites W2039164882 @default.
- W2092431596 cites W2052990370 @default.
- W2092431596 cites W2091732787 @default.
- W2092431596 cites W2097016048 @default.
- W2092431596 cites W2126924915 @default.
- W2092431596 doi "https://doi.org/10.1007/bf01762112" @default.
- W2092431596 hasPublicationYear "1988" @default.
- W2092431596 type Work @default.
- W2092431596 sameAs 2092431596 @default.
- W2092431596 citedByCount "160" @default.
- W2092431596 countsByYear W20924315962012 @default.
- W2092431596 countsByYear W20924315962013 @default.
- W2092431596 countsByYear W20924315962014 @default.
- W2092431596 countsByYear W20924315962015 @default.
- W2092431596 countsByYear W20924315962016 @default.
- W2092431596 countsByYear W20924315962017 @default.
- W2092431596 countsByYear W20924315962019 @default.
- W2092431596 countsByYear W20924315962021 @default.
- W2092431596 countsByYear W20924315962022 @default.
- W2092431596 countsByYear W20924315962023 @default.
- W2092431596 crossrefType "journal-article" @default.
- W2092431596 hasAuthorship W2092431596A5005055897 @default.
- W2092431596 hasAuthorship W2092431596A5050259900 @default.
- W2092431596 hasBestOaLocation W20924315962 @default.
- W2092431596 hasConcept C102993220 @default.
- W2092431596 hasConcept C104317684 @default.
- W2092431596 hasConcept C107247716 @default.
- W2092431596 hasConcept C11413529 @default.
- W2092431596 hasConcept C120314980 @default.
- W2092431596 hasConcept C142724271 @default.
- W2092431596 hasConcept C154945302 @default.
- W2092431596 hasConcept C185592680 @default.
- W2092431596 hasConcept C203659156 @default.
- W2092431596 hasConcept C204241405 @default.
- W2092431596 hasConcept C204787440 @default.
- W2092431596 hasConcept C24858836 @default.
- W2092431596 hasConcept C2777212361 @default.
- W2092431596 hasConcept C2780385302 @default.
- W2092431596 hasConcept C31084985 @default.
- W2092431596 hasConcept C41008148 @default.
- W2092431596 hasConcept C55493867 @default.
- W2092431596 hasConcept C71924100 @default.
- W2092431596 hasConcept C80444323 @default.
- W2092431596 hasConceptScore W2092431596C102993220 @default.
- W2092431596 hasConceptScore W2092431596C104317684 @default.
- W2092431596 hasConceptScore W2092431596C107247716 @default.
- W2092431596 hasConceptScore W2092431596C11413529 @default.
- W2092431596 hasConceptScore W2092431596C120314980 @default.
- W2092431596 hasConceptScore W2092431596C142724271 @default.
- W2092431596 hasConceptScore W2092431596C154945302 @default.
- W2092431596 hasConceptScore W2092431596C185592680 @default.
- W2092431596 hasConceptScore W2092431596C203659156 @default.
- W2092431596 hasConceptScore W2092431596C204241405 @default.
- W2092431596 hasConceptScore W2092431596C204787440 @default.
- W2092431596 hasConceptScore W2092431596C24858836 @default.
- W2092431596 hasConceptScore W2092431596C2777212361 @default.
- W2092431596 hasConceptScore W2092431596C2780385302 @default.
- W2092431596 hasConceptScore W2092431596C31084985 @default.
- W2092431596 hasConceptScore W2092431596C41008148 @default.
- W2092431596 hasConceptScore W2092431596C55493867 @default.
- W2092431596 hasConceptScore W2092431596C71924100 @default.
- W2092431596 hasConceptScore W2092431596C80444323 @default.
- W2092431596 hasIssue "1-4" @default.
- W2092431596 hasLocation W20924315961 @default.
- W2092431596 hasLocation W20924315962 @default.
- W2092431596 hasOpenAccess W2092431596 @default.
- W2092431596 hasPrimaryLocation W20924315961 @default.
- W2092431596 hasRelatedWork W1500064003 @default.
- W2092431596 hasRelatedWork W1587227328 @default.
- W2092431596 hasRelatedWork W1596201972 @default.
- W2092431596 hasRelatedWork W1596615495 @default.
- W2092431596 hasRelatedWork W1967954938 @default.
- W2092431596 hasRelatedWork W2160425906 @default.
- W2092431596 hasRelatedWork W2365767001 @default.
- W2092431596 hasRelatedWork W2373532818 @default.
- W2092431596 hasRelatedWork W2998813341 @default.
- W2092431596 hasRelatedWork W3164823035 @default.
- W2092431596 hasVolume "3" @default.
- W2092431596 isParatext "false" @default.
- W2092431596 isRetracted "false" @default.
- W2092431596 magId "2092431596" @default.
- W2092431596 workType "article" @default.