New Publication: Communicating Concurrent Kleene Algebra for Distributed Systems Specification
Congratulations to Maxime Buyse for having his work on formalizing results about Communicating Concurrent Kleene Algebra (C²KA) and its application for distributed systems specification in Isabelle published in the . This work has applications in studying system-level properties of distributed systems such as safety, security, and reliability. See Publications for more details!