Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569303485> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1569303485 abstract "The authors introduce a simple and basic distributed deadlock detection and resolution algorithm for the one-resource model of a distributed database system. The distribution database model upon which the algorithm is based is the model introduced by D.A. Menasce and R.R. Muntz (1979). The main contribution is the use of automata theory for modeling the formal specification of the algorithm. This mathematical model allows the development of an elegant and short proof of correctness. The algorithm reports all true deadlocks and generates a unique candidate for resolving the deadlock. >" @default.
- W1569303485 created "2016-06-24" @default.
- W1569303485 creator A5023213481 @default.
- W1569303485 creator A5058171550 @default.
- W1569303485 creator A5061059848 @default.
- W1569303485 date "2003-01-02" @default.
- W1569303485 modified "2023-09-24" @default.
- W1569303485 title "A simple distributed deadlock detection algorithm" @default.
- W1569303485 cites W1530753374 @default.
- W1569303485 cites W1993505169 @default.
- W1569303485 cites W2001478969 @default.
- W1569303485 cites W2002089154 @default.
- W1569303485 cites W2008518474 @default.
- W1569303485 cites W2031607581 @default.
- W1569303485 cites W2036868494 @default.
- W1569303485 cites W2044660684 @default.
- W1569303485 cites W2066775342 @default.
- W1569303485 cites W2072095153 @default.
- W1569303485 cites W2109612684 @default.
- W1569303485 cites W2116873772 @default.
- W1569303485 cites W2164768429 @default.
- W1569303485 cites W2294580796 @default.
- W1569303485 doi "https://doi.org/10.1109/cmpeur.1992.218433" @default.
- W1569303485 hasPublicationYear "2003" @default.
- W1569303485 type Work @default.
- W1569303485 sameAs 1569303485 @default.
- W1569303485 citedByCount "3" @default.
- W1569303485 crossrefType "proceedings-article" @default.
- W1569303485 hasAuthorship W1569303485A5023213481 @default.
- W1569303485 hasAuthorship W1569303485A5058171550 @default.
- W1569303485 hasAuthorship W1569303485A5061059848 @default.
- W1569303485 hasConcept C111472728 @default.
- W1569303485 hasConcept C112505250 @default.
- W1569303485 hasConcept C113429609 @default.
- W1569303485 hasConcept C11413529 @default.
- W1569303485 hasConcept C120314980 @default.
- W1569303485 hasConcept C130120984 @default.
- W1569303485 hasConcept C138885662 @default.
- W1569303485 hasConcept C159023740 @default.
- W1569303485 hasConcept C2780586882 @default.
- W1569303485 hasConcept C41008148 @default.
- W1569303485 hasConcept C55439883 @default.
- W1569303485 hasConcept C80444323 @default.
- W1569303485 hasConceptScore W1569303485C111472728 @default.
- W1569303485 hasConceptScore W1569303485C112505250 @default.
- W1569303485 hasConceptScore W1569303485C113429609 @default.
- W1569303485 hasConceptScore W1569303485C11413529 @default.
- W1569303485 hasConceptScore W1569303485C120314980 @default.
- W1569303485 hasConceptScore W1569303485C130120984 @default.
- W1569303485 hasConceptScore W1569303485C138885662 @default.
- W1569303485 hasConceptScore W1569303485C159023740 @default.
- W1569303485 hasConceptScore W1569303485C2780586882 @default.
- W1569303485 hasConceptScore W1569303485C41008148 @default.
- W1569303485 hasConceptScore W1569303485C55439883 @default.
- W1569303485 hasConceptScore W1569303485C80444323 @default.
- W1569303485 hasLocation W15693034851 @default.
- W1569303485 hasOpenAccess W1569303485 @default.
- W1569303485 hasPrimaryLocation W15693034851 @default.
- W1569303485 hasRelatedWork W1753266246 @default.
- W1569303485 hasRelatedWork W1993531066 @default.
- W1569303485 hasRelatedWork W2026487767 @default.
- W1569303485 hasRelatedWork W2040647334 @default.
- W1569303485 hasRelatedWork W2044770819 @default.
- W1569303485 hasRelatedWork W2066775342 @default.
- W1569303485 hasRelatedWork W2100578622 @default.
- W1569303485 hasRelatedWork W2108670402 @default.
- W1569303485 hasRelatedWork W2123174699 @default.
- W1569303485 hasRelatedWork W2143691176 @default.
- W1569303485 hasRelatedWork W2146295182 @default.
- W1569303485 hasRelatedWork W2158194632 @default.
- W1569303485 hasRelatedWork W2166580347 @default.
- W1569303485 hasRelatedWork W2166954426 @default.
- W1569303485 hasRelatedWork W2169047268 @default.
- W1569303485 hasRelatedWork W2406733677 @default.
- W1569303485 hasRelatedWork W2568885736 @default.
- W1569303485 hasRelatedWork W2893956567 @default.
- W1569303485 hasRelatedWork W58730062 @default.
- W1569303485 hasRelatedWork W2507016588 @default.
- W1569303485 isParatext "false" @default.
- W1569303485 isRetracted "false" @default.
- W1569303485 magId "1569303485" @default.
- W1569303485 workType "article" @default.