JavaScript is disabled for your browser. Some features of this site may not work without it.
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-18Subject
Kleene algebra; coalgebra; Brzozowski derivative; Antimirov derivative; nominal sets
Type
technical report