Communicating Concurrent Kleene Algebra for Distributed Systems Specificationby Maxime Buyse and Jason Jaskolka06 Aug