Rigorous Design of Lazy Replication System Using Event B Read more about Rigorous Design of Lazy Replication System Using Event B
Verification of Liveness Properties in Distributed Systems Read more about Verification of Liveness Properties in Distributed Systems
