Matches in SemOpenAlex for { <https://semopenalex.org/work/W2147493055> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2147493055 abstract "This work applies the theory of knowledge in distributed systems to the design of faulttolerant protocols for problems involving coordinated simultaneous actions in synchronous systems. We give a simple method for transforming specifications of such problems into high-level protocols programmed using explicit tests of whether certain facts are common knowledge. The resulting protocols are optimal in all runs: for every possible input to system and pattern of processor failures, they are guaranteed to perform the simultaneous actions as soon as any other protocol can possibly perform them. A careful analysis of when facts become common knowledge shows how to efficiently implement these protocols in many variants of the omissions failure model. In the generalized omissions model, however, it is shown that any protocol that is optimal in this sense must require co-NP hard computations. The analysis in this paper exposes subtle differences between the failure models, including the precise point at which this gap in complexity occurs." @default.
- W2147493055 created "2016-06-24" @default.
- W2147493055 creator A5004031220 @default.
- W2147493055 creator A5005055897 @default.
- W2147493055 date "1986-10-01" @default.
- W2147493055 modified "2023-09-25" @default.
- W2147493055 title "Programming simultaneous actions using common knowledge: Preliminary version" @default.
- W2147493055 cites W1565044123 @default.
- W2147493055 cites W1572047767 @default.
- W2147493055 cites W1576317032 @default.
- W2147493055 cites W1600159979 @default.
- W2147493055 cites W1966459260 @default.
- W2147493055 cites W1999273011 @default.
- W2147493055 cites W2039164882 @default.
- W2147493055 cites W2052990370 @default.
- W2147493055 cites W2076073997 @default.
- W2147493055 cites W2091732787 @default.
- W2147493055 cites W2092431596 @default.
- W2147493055 cites W2097016048 @default.
- W2147493055 cites W2126924915 @default.
- W2147493055 doi "https://doi.org/10.1109/sfcs.1986.46" @default.
- W2147493055 hasPublicationYear "1986" @default.
- W2147493055 type Work @default.
- W2147493055 sameAs 2147493055 @default.
- W2147493055 citedByCount "6" @default.
- W2147493055 countsByYear W21474930552021 @default.
- W2147493055 countsByYear W21474930552023 @default.
- W2147493055 crossrefType "proceedings-article" @default.
- W2147493055 hasAuthorship W2147493055A5004031220 @default.
- W2147493055 hasAuthorship W2147493055A5005055897 @default.
- W2147493055 hasConcept C111472728 @default.
- W2147493055 hasConcept C120314980 @default.
- W2147493055 hasConcept C138885662 @default.
- W2147493055 hasConcept C142724271 @default.
- W2147493055 hasConcept C199360897 @default.
- W2147493055 hasConcept C204787440 @default.
- W2147493055 hasConcept C2524010 @default.
- W2147493055 hasConcept C2780385302 @default.
- W2147493055 hasConcept C2780586882 @default.
- W2147493055 hasConcept C28719098 @default.
- W2147493055 hasConcept C33923547 @default.
- W2147493055 hasConcept C41008148 @default.
- W2147493055 hasConcept C45374587 @default.
- W2147493055 hasConcept C71924100 @default.
- W2147493055 hasConcept C80444323 @default.
- W2147493055 hasConceptScore W2147493055C111472728 @default.
- W2147493055 hasConceptScore W2147493055C120314980 @default.
- W2147493055 hasConceptScore W2147493055C138885662 @default.
- W2147493055 hasConceptScore W2147493055C142724271 @default.
- W2147493055 hasConceptScore W2147493055C199360897 @default.
- W2147493055 hasConceptScore W2147493055C204787440 @default.
- W2147493055 hasConceptScore W2147493055C2524010 @default.
- W2147493055 hasConceptScore W2147493055C2780385302 @default.
- W2147493055 hasConceptScore W2147493055C2780586882 @default.
- W2147493055 hasConceptScore W2147493055C28719098 @default.
- W2147493055 hasConceptScore W2147493055C33923547 @default.
- W2147493055 hasConceptScore W2147493055C41008148 @default.
- W2147493055 hasConceptScore W2147493055C45374587 @default.
- W2147493055 hasConceptScore W2147493055C71924100 @default.
- W2147493055 hasConceptScore W2147493055C80444323 @default.
- W2147493055 hasLocation W21474930551 @default.
- W2147493055 hasOpenAccess W2147493055 @default.
- W2147493055 hasPrimaryLocation W21474930551 @default.
- W2147493055 hasRelatedWork W1485627940 @default.
- W2147493055 hasRelatedWork W1500064003 @default.
- W2147493055 hasRelatedWork W1596201972 @default.
- W2147493055 hasRelatedWork W1986253068 @default.
- W2147493055 hasRelatedWork W2152433827 @default.
- W2147493055 hasRelatedWork W2160425906 @default.
- W2147493055 hasRelatedWork W2370697888 @default.
- W2147493055 hasRelatedWork W2373532818 @default.
- W2147493055 hasRelatedWork W2385146268 @default.
- W2147493055 hasRelatedWork W4238075012 @default.
- W2147493055 isParatext "false" @default.
- W2147493055 isRetracted "false" @default.
- W2147493055 magId "2147493055" @default.
- W2147493055 workType "article" @default.