Semantics of flowchart programs and the free Conway theories
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 32 (1998) no. 1-3, pp. 35-78.
@article{ITA_1998__32_1-3_35_0,
     author = {Bern\'atsky, L. and \'Esik, Z.},
     title = {Semantics of flowchart programs and the free {Conway} theories},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {35--78},
     publisher = {EDP-Sciences},
     volume = {32},
     number = {1-3},
     year = {1998},
     mrnumber = {1657511},
     language = {en},
     url = {http://www.numdam.org/item/ITA_1998__32_1-3_35_0/}
}
TY  - JOUR
AU  - Bernátsky, L.
AU  - Ésik, Z.
TI  - Semantics of flowchart programs and the free Conway theories
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1998
SP  - 35
EP  - 78
VL  - 32
IS  - 1-3
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1998__32_1-3_35_0/
LA  - en
ID  - ITA_1998__32_1-3_35_0
ER  - 
%0 Journal Article
%A Bernátsky, L.
%A Ésik, Z.
%T Semantics of flowchart programs and the free Conway theories
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1998
%P 35-78
%V 32
%N 1-3
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1998__32_1-3_35_0/
%G en
%F ITA_1998__32_1-3_35_0
Bernátsky, L.; Ésik, Z. Semantics of flowchart programs and the free Conway theories. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 32 (1998) no. 1-3, pp. 35-78. http://www.numdam.org/item/ITA_1998__32_1-3_35_0/

1. S. L. Bloom, C. C. Elgot and J. B. Wright, Solutions of the iteration equation and extensions of the scalar iteration operation, SIAM Journal of Computing, 1980, 9, pp. 24-65. | MR | Zbl

2. S. L. Bloom, C. C. Elgot and J. B. Wright, Vector iteration in pointed iterative theories, SIAM Journal of Computing, 1980, 9, pp. 525-540. | MR | Zbl

3. S. L. Bloom and Z. Ésik, Axiomatizing schemes and their behaviours, Journal of Computing and System Sciences, 1985, 31, pp. 375-393. | MR | Zbl

4. S. L. Bloom and Z. Ésik, Floyd-Hoare logic in iteration theories, JACM, 1991, pp. 887-934. | MR | Zbl

5. S. L. Bloom and Z. Ésik, Iteration Theories: The Equational Logic of Iterative Processes, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1993. | MR | Zbl

6. D. P. Bovet and P. Crescenzi, Introduction to the Theory of Complexity, Prentice-Hall, 1994. | MR | Zbl

7. V. E. Cazanescu and Gh. Stefanescu, Towards a new algebraic foundation of flowchart scheme theory, Fundamenta Informaticae, 1990, 13, pp. 171-210. | MR | Zbl

8. Sang Cho and Dung T. Huynh, Finite-automaton aperiodicity is PSPACE-complete, Theoretical Computer Science, 1991, 88, pp. 99-116. | MR | Zbl

9. J. C. Conway, Regular Algebra and Finite Machines, Chapman and Hall, 1971. | Zbl

10. B. Courcelle, Fundamental properties of infinite trees. In Theoretical Foundations of Programming Methodology, Munich 1981, Reidel, 1982. | MR | Zbl

11. C. C. Elgot, Monadic computation and iterative algebraic theories. In J. C. Shepherdson, editor, Logic Colloquium 1973 volume 80 of Studies in Logic, Amsterdam, 1975. North Holland. | MR | Zbl

12. C. C. Elgot, Matricial Theories, Journal of Algebra, 1976, 42, pp. 391-421. | MR | Zbl

13. C. C. Elgot, Structured programmning with and without goto statements. In IEEE Transactions on Software Engineering, number 232 in SE-2, 1976, pp. 41-53. | MR | Zbl

14. Z. Ésik, Group axioms for iteration, to appear. | MR | Zbl

15. Z. Ésik, Identities in Iterative and rational algebraic theories, Computational Linguistics and Computer Languages, 1980, 14, pp. 183-207. | MR | Zbl

16. J. S. Golan, The theory of semirings with applications in mathematics and theoretical computer science, Longman Scientific & Technical, 1993. | MR | Zbl

17. D. Krob, Complete Systems of B-rational identities, Theoretical Computer Science, 1991, 89, pp. 207-343. | MR | Zbl

18. F. W. Lawvere, Functorial Semantics of Algebraic Theories, Proceedings of the National Academy of Sciences USA, 1963, 50, pp. 869-873. | MR | Zbl

19. J.-E. Pin, Varieties of Formal Languages, orth Oxford Academic, 1986. | MR | Zbl

20. Gh. Stefanescu, On Flowchart Theories: Part I. The deterministic case, JCSS, 1987, 35, pp. 163-191. | MR | Zbl