Matches in SemOpenAlex for { <https://semopenalex.org/work/W2025113826> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2025113826 endingPage "246" @default.
- W2025113826 startingPage "227" @default.
- W2025113826 abstract "We describe a formal theory of the total correctness of parallel programs, including such heretofore theoretically incomplete properties as safety from deadlock and starvation under fair-scheduling. We present a sound and complete set of proof rules for the total correctness of parallel programs expressed in nondeterministic form. The proof of soundness and completeness is novel in that we show that the weakest pre-conditions for the correctness criteria are actually fixed-points (least or greatest) of continuous functions over the complete lattice of total predicates. We have obtained proof rule schemata which can universally be applied to least or greatest fixed-points of continuous functions. Therefore, a system of proof rules is a priori sound and complete once it is shown that certain weakest pre-conditions are extremum fixed-points. The relationship between true parallelism and nondeterminism is also discussed." @default.
- W2025113826 created "2016-06-24" @default.
- W2025113826 creator A5043108557 @default.
- W2025113826 creator A5077995736 @default.
- W2025113826 date "1981-05-01" @default.
- W2025113826 modified "2023-09-25" @default.
- W2025113826 title "The Total Correctness of Parallel Programs" @default.
- W2025113826 cites W1557473230 @default.
- W2025113826 cites W1965662337 @default.
- W2025113826 cites W1994350081 @default.
- W2025113826 cites W2065705928 @default.
- W2025113826 cites W2075350371 @default.
- W2025113826 cites W2094874241 @default.
- W2025113826 cites W2100021838 @default.
- W2025113826 cites W2131791649 @default.
- W2025113826 cites W2132334337 @default.
- W2025113826 cites W2134330476 @default.
- W2025113826 cites W2168149256 @default.
- W2025113826 cites W2340595401 @default.
- W2025113826 doi "https://doi.org/10.1137/0210016" @default.
- W2025113826 hasPublicationYear "1981" @default.
- W2025113826 type Work @default.
- W2025113826 sameAs 2025113826 @default.
- W2025113826 citedByCount "27" @default.
- W2025113826 countsByYear W20251138262022 @default.
- W2025113826 crossrefType "journal-article" @default.
- W2025113826 hasAuthorship W2025113826A5043108557 @default.
- W2025113826 hasAuthorship W2025113826A5077995736 @default.
- W2025113826 hasConcept C111472728 @default.
- W2025113826 hasConcept C11413529 @default.
- W2025113826 hasConcept C118615104 @default.
- W2025113826 hasConcept C121332964 @default.
- W2025113826 hasConcept C134306372 @default.
- W2025113826 hasConcept C138885662 @default.
- W2025113826 hasConcept C159023740 @default.
- W2025113826 hasConcept C17231256 @default.
- W2025113826 hasConcept C176181172 @default.
- W2025113826 hasConcept C183992945 @default.
- W2025113826 hasConcept C199360897 @default.
- W2025113826 hasConcept C201640847 @default.
- W2025113826 hasConcept C33923547 @default.
- W2025113826 hasConcept C39920170 @default.
- W2025113826 hasConcept C41008148 @default.
- W2025113826 hasConcept C55439883 @default.
- W2025113826 hasConcept C62520636 @default.
- W2025113826 hasConcept C75553542 @default.
- W2025113826 hasConceptScore W2025113826C111472728 @default.
- W2025113826 hasConceptScore W2025113826C11413529 @default.
- W2025113826 hasConceptScore W2025113826C118615104 @default.
- W2025113826 hasConceptScore W2025113826C121332964 @default.
- W2025113826 hasConceptScore W2025113826C134306372 @default.
- W2025113826 hasConceptScore W2025113826C138885662 @default.
- W2025113826 hasConceptScore W2025113826C159023740 @default.
- W2025113826 hasConceptScore W2025113826C17231256 @default.
- W2025113826 hasConceptScore W2025113826C176181172 @default.
- W2025113826 hasConceptScore W2025113826C183992945 @default.
- W2025113826 hasConceptScore W2025113826C199360897 @default.
- W2025113826 hasConceptScore W2025113826C201640847 @default.
- W2025113826 hasConceptScore W2025113826C33923547 @default.
- W2025113826 hasConceptScore W2025113826C39920170 @default.
- W2025113826 hasConceptScore W2025113826C41008148 @default.
- W2025113826 hasConceptScore W2025113826C55439883 @default.
- W2025113826 hasConceptScore W2025113826C62520636 @default.
- W2025113826 hasConceptScore W2025113826C75553542 @default.
- W2025113826 hasIssue "2" @default.
- W2025113826 hasLocation W20251138261 @default.
- W2025113826 hasOpenAccess W2025113826 @default.
- W2025113826 hasPrimaryLocation W20251138261 @default.
- W2025113826 hasRelatedWork W2025113826 @default.
- W2025113826 hasRelatedWork W2026702088 @default.
- W2025113826 hasRelatedWork W2093299352 @default.
- W2025113826 hasRelatedWork W2130721831 @default.
- W2025113826 hasRelatedWork W2402392332 @default.
- W2025113826 hasRelatedWork W2414501716 @default.
- W2025113826 hasRelatedWork W2579507615 @default.
- W2025113826 hasRelatedWork W2775903035 @default.
- W2025113826 hasRelatedWork W3036293936 @default.
- W2025113826 hasRelatedWork W71377674 @default.
- W2025113826 hasVolume "10" @default.
- W2025113826 isParatext "false" @default.
- W2025113826 isRetracted "false" @default.
- W2025113826 magId "2025113826" @default.
- W2025113826 workType "article" @default.