Characterizing correctness properties of parallel programs using fixpoints
Authors:
- 1 January 1980
- book chapter
- Published by Springer Nature
- p. 169-181
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- The Total Correctness of Parallel ProgramsSIAM Journal on Computing, 1981
- Data flow analysis of communicating processes1979
- Synthesis of resource invariants for concurrent programs1979
- Computable nondeterministic functions1978
- Consistent and complete proof rules for the total correctness of parallel programs1978
- Recursion-Theoretic Hierarchies1978
- Program invariants as fixed points1977
- Strong verification of programsIEEE Transactions on Software Engineering, 1975
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955