Kleene algebra with tests and commutativity conditions (1996)

by D C Kozen
Venue:In Proceedings of the 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96 ), T. Margaria and B. Ste en, Eds. Lecture Notes in Computer Science