Nominal Kleene Coalgebra
Author
Kozen, Dexter
Mamouras, Konstantinos
Petrisan, Daniela
Silva, Alexandra
Abstract
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.
Date Issued
2015-02-18
Keywords
Type
technical report