@inproceedings{hoare2009concurrent,
 title = {Concurrent {Kleene} Algebra},
 author = {Hoare, CAR Tony and M{\"o}ller, Bernhard and Struth, Georg and Wehrman, Ian},
 year = {2009},
 booktitle = {CONCUR},
 pages = {399--414}
}