A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
Completeness and incompleteness in nominal Kleene algebra
2017
Journal of Logical and Algebraic Methods in Programming
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.
doi:10.1016/j.jlamp.2017.06.002
fatcat:r3zc5bsmpzhhhogbewmmxny5ne