On flowchart theories Part I. The deterministic case
- 1 October 1987
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 35 (2) , 163-191
- https://doi.org/10.1016/0022-0000(87)90011-0
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Axiomatizing schemes and their behaviorsJournal of Computer and System Sciences, 1985
- On context-free treesTheoretical Computer Science, 1985
- Fundamental properties of infinite treesTheoretical Computer Science, 1983
- Vector Iteration in Pointed Iterative TheoriesSIAM Journal on Computing, 1980
- Solutions of the Iteration Equation and Extensions of the Scalar Iteration OperationSIAM Journal on Computing, 1980
- Partially additive categories and flow-diagram semanticsJournal of Algebra, 1980
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- On the algebraic structure of rooted treesJournal of Computer and System Sciences, 1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- The existence and construction of free iterative theoriesJournal of Computer and System Sciences, 1976