Research work · 2009

Concurrent Kleene Algebra

C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman

Lecture notes in computer science

DOI: 10.1007/978-3-642-04081-8_27