Semantics of flowchart programs and the free Conway theories
RAIRO-Theor. Inf. Appl., 32 1-3 (1998) 35-78
Published online: 2017-02-01
Articles citing this article
The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Cited article:
This article has been cited by the following article(s):
Parametrized Fixed Points and Their Applications to Session Types
Ryan KavanaghElectronic Notes in Theoretical Computer Science 352 149 (2020)
https://doi.org/10.1016/j.entcs.2020.09.008
Equational properties of fixed-point operations in cartesian categories: An overview
Z ÉsikMathematical Structures in Computer Science 29 (06) 909 (2019)
https://doi.org/10.1017/S0960129518000361
Equational axioms associated with finite automata for fixed point operations in cartesian categories
ZOLTÁN ÉSIKMathematical Structures in Computer Science 27 (1) 54 (2017)
https://doi.org/10.1017/S0960129515000031
Algebraic Foundations in Computer Science
Zoltán Ésik and Tamás HajgatóLecture Notes in Computer Science, Algebraic Foundations in Computer Science 7020 72 (2011)
https://doi.org/10.1007/978-3-642-24897-9_4
29 (2009)
https://doi.org/10.1007/978-3-642-01492-5_2
Algebraically complete semirings and Greibach normal form
Zoltán Ésik and Hans LeißAnnals of Pure and Applied Logic 133 (1-3) 173 (2005)
https://doi.org/10.1016/j.apal.2004.10.008
Developments in Language Theory
Z. ÉsikLecture Notes in Computer Science, Developments in Language Theory 2295 21 (2002)
https://doi.org/10.1007/3-540-46011-X_3
Feedback, trace and fixed-point semantics
P. Katis, Nicoletta Sabadini and Robert F.C. WaltersRAIRO - Theoretical Informatics and Applications 36 (2) 181 (2002)
https://doi.org/10.1051/ita:2002009
Rudiments of μ-Calculus
Studies in Logic and the Foundations of Mathematics, Rudiments of μ-Calculus 146 269 (2001)https://doi.org/10.1016/S0049-237X(01)80013-6
THE POWER OF THE GROUP-IDENTITIES FOR ITERATION
Z. ÉSIKInternational Journal of Algebra and Computation 10 (03) 349 (2000)
https://doi.org/10.1142/S0218196700000145
Rewriting on cyclic structures: Equivalence between the operational and the categorical description
Andrea Corradini and Fabio GadducciRAIRO - Theoretical Informatics and Applications 33 (4-5) 467 (1999)
https://doi.org/10.1051/ita:1999128
Group Axioms for Iteration
Z ÉsikInformation and Computation 148 (2) 131 (1999)
https://doi.org/10.1006/inco.1998.2746