Nominal Kleene Coalgebra

Thumbnail
View/Open
PERMANENT LINK(S)
http://hdl.handle.net/1813/39108
Collections
Metadata
Show full item record
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
Subject
Kleene algebra; coalgebra; Brzozowski derivative; Antimirov derivative; nominal sets
Type
technical report

Statistics