Foundations of Concurrent Kleene Algebra (Inst. für Informatik, 2009)