*-Continuous Kleene $\omega$-Algebras

Zoltán Ésik, Uli Fahrenberg, Axel Legay

We define and study basic properties of *-continuous Kleene $\omega$-algebras that involve a *-continuous Kleene algebra with a *-continuous action on a semimodule and an infinite produ…