21 citations · 84 across the 35 of their papers we have counts for
Showing 2015 · cs.LOShow all
3 papers · 2 filters
cs.LO2015★ 2 cited
*-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…
cs.LO2015★ 1 cited
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…
cs.LO2015★ 5 cited
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…