Archives: Publication

Monday, January 13, 2020

New Publication: Distributed Maintenance of a Spanning Tree of k-Connected Graphs

A new paper resulting from a collaboration with with colleagues has been published in the proceedings of the IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC 2019). See Publications for more... More

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 →