Concurrent Kleene Algebra.

C. A. R. Hoare, Bernhard Mller, Georg Struth, Ian Wehrman

Browse the full CONCUR paper archive.