JavaScript is disabled for your browser. Some features of this site may not work without it.
Completeness and Incompleteness in Nominal Kleene Algebra

Author
Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra
Abstract
Gabbay and Ciancia (2011) presented a nominal extension of Kleene algebra as a framework for trace semantics with dynamic allocation of resources, along with a semantics consisting of nominal languages. They also provided an axiomatization that captures the behavior of the scoping operator and its interaction with the Kleene algebra operators and proved soundness over nominal languages. In this paper we show that the axioms are complete and describe the free language models.
Date Issued
2014-11-14Subject
Kleene algebra; nominal logic
Type
technical report