Correctness of recursive parallel nondeterministic flow programs
- 31 October 1983
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 27 (2) , 268-290
- https://doi.org/10.1016/0022-0000(83)90043-0
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Semantics and correctness of nondeterministic flowchart programs with recursive proceduresPublished by Springer Nature ,1978
- Correctness of recursive flow diagram programsPublished by Springer Nature ,1977
- The algebraic theory of recursive program schemesPublished by Springer Nature ,1975
- On homomorphisms, correctness, termination, unfoldments, equivalence of flow diagram programsJournal of Computer and System Sciences, 1974
- F. William Lawvere. Functorial semantics of algebraic theories. Proceedings of the National Academy of Sciences of the United States of America, vol. 50 (1963), pp. 869–872.The Journal of Symbolic Logic, 1974
- Algebraic theories and program schemesPublished by Springer Nature ,1971
- The correctness of nondeterministic programsArtificial Intelligence, 1970
- The correctness of programsJournal of Computer and System Sciences, 1969
- Automata in general algebrasInformation and Control, 1967