Matches in SemOpenAlex for { <https://semopenalex.org/work/W2020682331> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2020682331 endingPage "188" @default.
- W2020682331 startingPage "181" @default.
- W2020682331 abstract "Satisfiability of the deadlock predicate constructed by the semaphore invariant method is a necessary condition for total deadlock in PV programs. Clarke (1980) has developed a technique, based on a view of resource invariants as fixed points of a functional, for constructing a deadlock predicate such that satisfiability is a necessary and sufficient condition for total deadlock. We describe a technique for synthesizing a generalized deadlock predicate such that satisfiability is a necessary and sufficient condition for both total and partial deadlock. Our method constructs a strongest resource invariant using Clarke's fixed point functional. We then use this strongest resource invariant and a predicate transformer to construct a generalized deadlock predicate." @default.
- W2020682331 created "2016-06-24" @default.
- W2020682331 creator A5029690882 @default.
- W2020682331 creator A5071674476 @default.
- W2020682331 date "1986-11-01" @default.
- W2020682331 modified "2023-10-10" @default.
- W2020682331 title "A generalized deadlock predicate" @default.
- W2020682331 cites W1965662337 @default.
- W2020682331 cites W2025113826 @default.
- W2020682331 cites W2031436140 @default.
- W2020682331 cites W2047051012 @default.
- W2020682331 cites W2065705928 @default.
- W2020682331 cites W2100021838 @default.
- W2020682331 doi "https://doi.org/10.1016/0020-0190(86)90133-x" @default.
- W2020682331 hasPublicationYear "1986" @default.
- W2020682331 type Work @default.
- W2020682331 sameAs 2020682331 @default.
- W2020682331 citedByCount "0" @default.
- W2020682331 crossrefType "journal-article" @default.
- W2020682331 hasAuthorship W2020682331A5029690882 @default.
- W2020682331 hasAuthorship W2020682331A5071674476 @default.
- W2020682331 hasConcept C113429609 @default.
- W2020682331 hasConcept C11413529 @default.
- W2020682331 hasConcept C120314980 @default.
- W2020682331 hasConcept C134306372 @default.
- W2020682331 hasConcept C140146324 @default.
- W2020682331 hasConcept C156325763 @default.
- W2020682331 hasConcept C159023740 @default.
- W2020682331 hasConcept C168773769 @default.
- W2020682331 hasConcept C184337299 @default.
- W2020682331 hasConcept C199360897 @default.
- W2020682331 hasConcept C30128091 @default.
- W2020682331 hasConcept C33923547 @default.
- W2020682331 hasConcept C41008148 @default.
- W2020682331 hasConcept C61445026 @default.
- W2020682331 hasConcept C80444323 @default.
- W2020682331 hasConceptScore W2020682331C113429609 @default.
- W2020682331 hasConceptScore W2020682331C11413529 @default.
- W2020682331 hasConceptScore W2020682331C120314980 @default.
- W2020682331 hasConceptScore W2020682331C134306372 @default.
- W2020682331 hasConceptScore W2020682331C140146324 @default.
- W2020682331 hasConceptScore W2020682331C156325763 @default.
- W2020682331 hasConceptScore W2020682331C159023740 @default.
- W2020682331 hasConceptScore W2020682331C168773769 @default.
- W2020682331 hasConceptScore W2020682331C184337299 @default.
- W2020682331 hasConceptScore W2020682331C199360897 @default.
- W2020682331 hasConceptScore W2020682331C30128091 @default.
- W2020682331 hasConceptScore W2020682331C33923547 @default.
- W2020682331 hasConceptScore W2020682331C41008148 @default.
- W2020682331 hasConceptScore W2020682331C61445026 @default.
- W2020682331 hasConceptScore W2020682331C80444323 @default.
- W2020682331 hasIssue "4" @default.
- W2020682331 hasLocation W20206823311 @default.
- W2020682331 hasOpenAccess W2020682331 @default.
- W2020682331 hasPrimaryLocation W20206823311 @default.
- W2020682331 hasRelatedWork W1542183432 @default.
- W2020682331 hasRelatedWork W1900787600 @default.
- W2020682331 hasRelatedWork W2001478969 @default.
- W2020682331 hasRelatedWork W2045082154 @default.
- W2020682331 hasRelatedWork W2050076411 @default.
- W2020682331 hasRelatedWork W2136552483 @default.
- W2020682331 hasRelatedWork W2166954426 @default.
- W2020682331 hasRelatedWork W2360686363 @default.
- W2020682331 hasRelatedWork W4226119751 @default.
- W2020682331 hasRelatedWork W4383684213 @default.
- W2020682331 hasVolume "23" @default.
- W2020682331 isParatext "false" @default.
- W2020682331 isRetracted "false" @default.
- W2020682331 magId "2020682331" @default.
- W2020682331 workType "article" @default.