algebra with tests and commutativity conditions (0)

by Kleene
Venue:in Proc. Second Int. Workshop Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), T. Margaria and
Add To MetaCart
Results 1 - 1 of 1

Kleene algebra with tests

by Dexter Kozen - Transactions on Programming Languages and Systems , 1997
"... Abstract. We investigate conditions under which a given Kleene algebra with tests is isomorphic to an algebra of binary relations. Two simple separation properties are identified that, along with star-continuity, are sufficient for nonstandard relational representation. An algebraic condition is ide ..."
Abstract - Cited by 87 (19 self) - Add to MetaCart
Abstract. We investigate conditions under which a given Kleene algebra with tests is isomorphic to an algebra of binary relations. Two simple separation properties are identified that, along with star-continuity, are sufficient for nonstandard relational representation. An algebraic condition is identified that is necessary and sufficient for the construction to produce a standard representation. 1