21 citations · 84 across the 35 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.LO2016
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…
cs.LO2016
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…
cs.LO2016★ 3 cited
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…