Kleene algebra with tests (1997)

by Dexter Kozen
Venue:Transactions on Programming Languages and Systems
Citations:109 - 22 self

Documents Related by Co-Citation

186 A completeness theorem for Kleene algebras and the algebra of regular events – Dexter Kozen - 1994
277 Regular Algebra and Finite Machines – J H Conway - 1971
377 Representation of events in nerve nets and finite automata, Automata studies, Annals of mathematics studies – Stephen Cole Kleene - 1956
41 On Hoare Logic and Kleene Algebra with Tests – Dexter Kozen
22 Kleene algebra with tests: Completeness and decidability – Dexter Kozen, Frederick Smith - 1996
16 A semiring on convex polygons and zero-sum cycle problems – K Iwano, K Steiglitz - 1990
16 Using Kleene algebra to reason about concurrency control – Ernie Cohen - 1994
2447 The Design and Analysis of Computer Algorithms – A V Aho, J E Hopcroft, J D Ullman - 1974
360 Propositional dynamic logic of regular programs – M J Fischer, R E Ladner - 1979
20 On induction vs. *-continuity – Dexter Kozen - 1981
23 The Kleene and Parikh theorem in complete semirings – W Kuich - 1987
130 The design and analysis of algorithms – D C Kozen - 1992
26 Representation of events in nerve nets and nite automata, in: C.E – S C Kleene - 1956
33 Dynamic Algebras as a well-behaved fragment of Relation Algebras – Vaughan Pratt - 1990
27 Relation algebras with transitive closure – K C Ng - 1984
39 Separation and reduction – E Cohen - 2000
823 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
5 Hypotheses in Kleene algebra. Available as ftp://ftp.telcordia.com/pub/ernie/research/homepage.html – Ernie Cohen - 1994
32 Certification of compiler optimizations using Kleene algebra with tests – Dexter Kozen, Maria-Cristina Patron - 2000