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