Deterministic and nondeterministic flowchart interpretations
- 31 December 1983
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 27 (3) , 400-433
- https://doi.org/10.1016/0022-0000(83)90050-8
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Vector Iteration in Pointed Iterative TheoriesSIAM Journal on Computing, 1980
- Partially additive categories and flow-diagram semanticsJournal of Algebra, 1980
- Regular trees and the free iterative theoryJournal of Computer and System Sciences, 1979
- Primitive recursive algebraic theories and program schemesBulletin of the Australian Mathematical Society, 1977
- Matricial theoriesJournal of Algebra, 1976
- The existence and construction of free iterative theoriesJournal of Computer and System Sciences, 1976
- Monadic Computation And Iterative Algebraic TheoriesPublished by Elsevier ,1975
- CATEGORY THEORYBulletin of the London Mathematical Society, 1974
- On homomorphisms, correctness, termination, unfoldments, equivalence of flow diagram programsJournal of Computer and System Sciences, 1974
- On modules over a semiringJournal of Algebra, 1970