Using Kleene Algebra to Reason About Concurrency Control (1994)

by E Cohen