eCommons will become read-only at noon on May 26 for an infrastructure update. Submissions will not be accepted at this time. We anticipate that this update will be completed by June 2 at 5 p.m.
Please contact us at firstname.lastname@example.org if you have questions or concerns.
Browsing Computing and Information Science Technical Reports by Subject "Antimirov derivative"
Now showing items 1-1 of 1
Nominal Kleene Coalgebra (2015-02-18)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 ...