Nominal Kleene Coalgebra
MetadataShow full item record
Kozen, Dexter; Mamouras, Konstantinos; Petrisan, Daniela; Silva, Alexandra
We develop the coalgebraic theory of nominal Kleene algebra, including an alternative language-theoretic semantics, a nominal extension of the Brzozowski derivative, and a bisimulation-based decision procedure for the equational theory.
Kleene algebra; coalgebra; Brzozowski derivative; Antimirov derivative; nominal sets