Communicating Concurrent Kleene Algebra for Distributed Systems Specification by Maxime Buyse and Jason Jaskolka Aug 06