Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130721831> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2130721831 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. We present a consistent and complete set of proof rules for the total correctness of parallel programs expressed in nondeterministic form. The proof of consistency and completeness is novel in that we show that the weakest preconditions for each correctness criterion 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, our proof rules are a priori consistent and complete once it is shown that certain weakest preconditions are extremum fixed-points. The relationship between true parallelism and nondeterminism is also discussed." @default.
- W2130721831 created "2016-06-24" @default.
- W2130721831 creator A5043108557 @default.
- W2130721831 creator A5077995736 @default.
- W2130721831 date "1978-10-01" @default.
- W2130721831 modified "2023-09-25" @default.
- W2130721831 title "Consistent and complete proof rules for the total correctness of parallel programs" @default.
- W2130721831 cites W1553074388 @default.
- W2130721831 cites W1994350081 @default.
- W2130721831 cites W2023660966 @default.
- W2130721831 cites W2059034970 @default.
- W2130721831 cites W2094874241 @default.
- W2130721831 cites W2100021838 @default.
- W2130721831 cites W2131791649 @default.
- W2130721831 cites W2132334337 @default.
- W2130721831 cites W2157337518 @default.
- W2130721831 cites W2168149256 @default.
- W2130721831 cites W2340595401 @default.
- W2130721831 doi "https://doi.org/10.1109/sfcs.1978.11" @default.
- W2130721831 hasPublicationYear "1978" @default.
- W2130721831 type Work @default.
- W2130721831 sameAs 2130721831 @default.
- W2130721831 citedByCount "13" @default.
- W2130721831 countsByYear W21307218312013 @default.
- W2130721831 countsByYear W21307218312023 @default.
- W2130721831 crossrefType "proceedings-article" @default.
- W2130721831 hasAuthorship W2130721831A5043108557 @default.
- W2130721831 hasAuthorship W2130721831A5077995736 @default.
- W2130721831 hasConcept C111472728 @default.
- W2130721831 hasConcept C11413529 @default.
- W2130721831 hasConcept C118615104 @default.
- W2130721831 hasConcept C121332964 @default.
- W2130721831 hasConcept C134306372 @default.
- W2130721831 hasConcept C138885662 @default.
- W2130721831 hasConcept C159023740 @default.
- W2130721831 hasConcept C17231256 @default.
- W2130721831 hasConcept C176181172 @default.
- W2130721831 hasConcept C183992945 @default.
- W2130721831 hasConcept C199360897 @default.
- W2130721831 hasConcept C201640847 @default.
- W2130721831 hasConcept C2776436953 @default.
- W2130721831 hasConcept C33923547 @default.
- W2130721831 hasConcept C41008148 @default.
- W2130721831 hasConcept C55439883 @default.
- W2130721831 hasConcept C62520636 @default.
- W2130721831 hasConcept C75553542 @default.
- W2130721831 hasConceptScore W2130721831C111472728 @default.
- W2130721831 hasConceptScore W2130721831C11413529 @default.
- W2130721831 hasConceptScore W2130721831C118615104 @default.
- W2130721831 hasConceptScore W2130721831C121332964 @default.
- W2130721831 hasConceptScore W2130721831C134306372 @default.
- W2130721831 hasConceptScore W2130721831C138885662 @default.
- W2130721831 hasConceptScore W2130721831C159023740 @default.
- W2130721831 hasConceptScore W2130721831C17231256 @default.
- W2130721831 hasConceptScore W2130721831C176181172 @default.
- W2130721831 hasConceptScore W2130721831C183992945 @default.
- W2130721831 hasConceptScore W2130721831C199360897 @default.
- W2130721831 hasConceptScore W2130721831C201640847 @default.
- W2130721831 hasConceptScore W2130721831C2776436953 @default.
- W2130721831 hasConceptScore W2130721831C33923547 @default.
- W2130721831 hasConceptScore W2130721831C41008148 @default.
- W2130721831 hasConceptScore W2130721831C55439883 @default.
- W2130721831 hasConceptScore W2130721831C62520636 @default.
- W2130721831 hasConceptScore W2130721831C75553542 @default.
- W2130721831 hasLocation W21307218311 @default.
- W2130721831 hasOpenAccess W2130721831 @default.
- W2130721831 hasPrimaryLocation W21307218311 @default.
- W2130721831 hasRelatedWork W1531673041 @default.
- W2130721831 hasRelatedWork W1540342542 @default.
- W2130721831 hasRelatedWork W1982013801 @default.
- W2130721831 hasRelatedWork W2009612348 @default.
- W2130721831 hasRelatedWork W2025113826 @default.
- W2130721831 hasRelatedWork W2130721831 @default.
- W2130721831 hasRelatedWork W2203018268 @default.
- W2130721831 hasRelatedWork W2363169864 @default.
- W2130721831 hasRelatedWork W2890161843 @default.
- W2130721831 hasRelatedWork W3092465091 @default.
- W2130721831 isParatext "false" @default.
- W2130721831 isRetracted "false" @default.
- W2130721831 magId "2130721831" @default.
- W2130721831 workType "article" @default.