|
163
|
A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
– Dexter Kozen
- 1994
|
|
233
|
Regular Algebra and Finite Machines
– J Conway
- 1971
|
|
318
|
Representation of events in nerve nets and finite automata
– S C Kleene
- 1956
|
|
33
|
On Hoare Logic and Kleene Algebra with Tests
– Dexter Kozen
|
|
19
|
Kleene Algebra with Tests: Completeness and Decidability
– Dexter Kozen, Frederick Smith
- 1996
|
|
31
|
Seperation and reduction
– E Cohen
- 2000
|
|
14
|
Using Kleene algebra to reason about concurrency control
– E Cohen
- 1994
|
|
2173
|
The Design and Analysis of Computer Algorithms
– A V Aho, J E Hopcroft, J D Ullman
- 1974
|
|
312
|
Propositional dynamic logic of regular programs
– M J Fischer, R E Ladner
- 1979
|
|
20
|
On induction vs. *-continuity
– D Kozen
- 1981
|
|
16
|
A semiring on convex polygons and zerosum cycle problems
– K Iwano, K Steiglitz
- 1990
|
|
67
|
Jerzy Tiuryn. Dynamic logic
– David Harel, Dexter Kozen
- 2000
|
|
33
|
Dynamic Algebras as a well-behaved fragment of Relation Algebras
– Vaughan Pratt
- 1990
|
|
25
|
Relation algebras with transitive closure
– Kan Ching Ng, Alfred Tarski
- 1977
|
|
32
|
Kleene Algebra with Domain
– Jules Desharnais, Bernhard Möller, Georg Struth
- 2003
|
|
7
|
Modal Kleene Algebra and Partial Correctness
– Bernhard Möller, Georg Struth
- 2003
|
|
743
|
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
|
|
552
|
Modal Logic: an Introduction
– B F Chellas
- 1980
|
