21 citations · 84 across the 35 of their papers we have counts for
12 papers · 1 filter
On Free -Continuous and Regular Ordered Algebras
Zoltan Esik, Dexter Kozen
We study varieties of certain ordered -algebras with restricted completeness and continuity properties. We give a general characterization of their free algebras in terms of sub…
Algebraic Synchronization Trees and Processes
Luca Aceto, Arnaud Carayol, Zoltán Ésik +1
We study algebraic synchronization trees, i.e., initial solutions of algebraic recursion schemes over the continuous categorical algebra of synchronization trees. In particular, we…
Some Remarks on Conway and Iteration Theories
Zoltan Esik, Sergey Goncharov
We present an axiomatization of Conway theories which yields,as a corollary, a very concise axiomatization of iteration theories satisfying the functorial implication for base morp…
*-Continuous Kleene -Algebras for Energy Problems
Zoltán Ésik, Uli Fahrenberg, Axel Legay
Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on star-continuous Kleene omega-algebras, we show here that energy prob…
A representation theorem for stratified complete lattices
Zoltan Esik
We consider complete lattices equipped with preorderings indexed by the ordinals less than a given (limit) ordinal subject to certain axioms. These structures, called stratified co…
Equational axioms associated with finite automata for fixed point operations in cartesian categories
Zoltan Esik
The axioms of iteration theories, or iteration categories, capture the equational properties of fixed point operations in several computationally significant categories. Iteration…