Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic.

Kazuhiro Ogata, Thi Thanh Huyen Phan

Browse the full ICFEM paper archive.