Matches in SemOpenAlex for { <https://semopenalex.org/work/W2072236224> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2072236224 abstract "Distributed algorithms tend to be difficult to understand and even more difficult to prove correct. Using distributed dead-lock detection as a running example this paper presents a framework for stating, understanding, and proving the correctness of distributed algorithms for decision problems. The framework consists of a series of complexity levels. To simplify the initial levels, we treat the data structure of the algorithm as a database, and use the database notions of views and transaction atomicity. For each complexity level, we state theorems that need to be proved for each algorithm. The framework is illustrated using several existing deadlock detection algorithms. Finally, it is shown that the framework suggests new algorithms using the best features of several existing algorithms." @default.
- W2072236224 created "2016-06-24" @default.
- W2072236224 creator A5010878976 @default.
- W2072236224 creator A5047742815 @default.
- W2072236224 creator A5052452463 @default.
- W2072236224 creator A5079883897 @default.
- W2072236224 date "1983-01-01" @default.
- W2072236224 modified "2023-10-16" @default.
- W2072236224 title "A framework for understanding distributed (deadlock detection) algorithms" @default.
- W2072236224 cites W1446963 @default.
- W2072236224 cites W1495142994 @default.
- W2072236224 cites W1582482077 @default.
- W2072236224 cites W1964718922 @default.
- W2072236224 cites W1993505169 @default.
- W2072236224 cites W1993518363 @default.
- W2072236224 cites W2013173096 @default.
- W2072236224 cites W2013892304 @default.
- W2072236224 cites W2036868494 @default.
- W2072236224 cites W2044468166 @default.
- W2072236224 cites W2044660684 @default.
- W2072236224 cites W2055553651 @default.
- W2072236224 cites W2072095153 @default.
- W2072236224 cites W2102685956 @default.
- W2072236224 cites W2109612684 @default.
- W2072236224 cites W2136168913 @default.
- W2072236224 cites W2155272894 @default.
- W2072236224 cites W2407940323 @default.
- W2072236224 cites W3137220996 @default.
- W2072236224 doi "https://doi.org/10.1145/588058.588082" @default.
- W2072236224 hasPublicationYear "1983" @default.
- W2072236224 type Work @default.
- W2072236224 sameAs 2072236224 @default.
- W2072236224 citedByCount "3" @default.
- W2072236224 crossrefType "proceedings-article" @default.
- W2072236224 hasAuthorship W2072236224A5010878976 @default.
- W2072236224 hasAuthorship W2072236224A5047742815 @default.
- W2072236224 hasAuthorship W2072236224A5052452463 @default.
- W2072236224 hasAuthorship W2072236224A5079883897 @default.
- W2072236224 hasBestOaLocation W20722362241 @default.
- W2072236224 hasConcept C113429609 @default.
- W2072236224 hasConcept C11413529 @default.
- W2072236224 hasConcept C120314980 @default.
- W2072236224 hasConcept C127413603 @default.
- W2072236224 hasConcept C130120984 @default.
- W2072236224 hasConcept C159023740 @default.
- W2072236224 hasConcept C174839445 @default.
- W2072236224 hasConcept C188045909 @default.
- W2072236224 hasConcept C41008148 @default.
- W2072236224 hasConcept C48103436 @default.
- W2072236224 hasConcept C55439883 @default.
- W2072236224 hasConcept C70061542 @default.
- W2072236224 hasConcept C75949130 @default.
- W2072236224 hasConcept C77088390 @default.
- W2072236224 hasConcept C78519656 @default.
- W2072236224 hasConcept C80444323 @default.
- W2072236224 hasConcept C84511453 @default.
- W2072236224 hasConceptScore W2072236224C113429609 @default.
- W2072236224 hasConceptScore W2072236224C11413529 @default.
- W2072236224 hasConceptScore W2072236224C120314980 @default.
- W2072236224 hasConceptScore W2072236224C127413603 @default.
- W2072236224 hasConceptScore W2072236224C130120984 @default.
- W2072236224 hasConceptScore W2072236224C159023740 @default.
- W2072236224 hasConceptScore W2072236224C174839445 @default.
- W2072236224 hasConceptScore W2072236224C188045909 @default.
- W2072236224 hasConceptScore W2072236224C41008148 @default.
- W2072236224 hasConceptScore W2072236224C48103436 @default.
- W2072236224 hasConceptScore W2072236224C55439883 @default.
- W2072236224 hasConceptScore W2072236224C70061542 @default.
- W2072236224 hasConceptScore W2072236224C75949130 @default.
- W2072236224 hasConceptScore W2072236224C77088390 @default.
- W2072236224 hasConceptScore W2072236224C78519656 @default.
- W2072236224 hasConceptScore W2072236224C80444323 @default.
- W2072236224 hasConceptScore W2072236224C84511453 @default.
- W2072236224 hasLocation W20722362241 @default.
- W2072236224 hasOpenAccess W2072236224 @default.
- W2072236224 hasPrimaryLocation W20722362241 @default.
- W2072236224 hasRelatedWork W168271757 @default.
- W2072236224 hasRelatedWork W2044770819 @default.
- W2072236224 hasRelatedWork W2053886714 @default.
- W2072236224 hasRelatedWork W2053888684 @default.
- W2072236224 hasRelatedWork W2067684532 @default.
- W2072236224 hasRelatedWork W2072236224 @default.
- W2072236224 hasRelatedWork W2102685956 @default.
- W2072236224 hasRelatedWork W2143691176 @default.
- W2072236224 hasRelatedWork W2249282932 @default.
- W2072236224 hasRelatedWork W2553577944 @default.
- W2072236224 isParatext "false" @default.
- W2072236224 isRetracted "false" @default.
- W2072236224 magId "2072236224" @default.
- W2072236224 workType "article" @default.