Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level.

Ha Thi Thu Doan, Kazuhiro Ogata, Franois Bonnet

Browse the full ICDCS paper archive.