Archives: Publication

Sunday, August 11, 2019

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 Archive of Formal Proofs. This work has applications in studying system-level properties of distributed systems such as safety,... More

Load More →