Ha Thi Thu Doan, Kazuhiro Ogata, François Bonnet. Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level. In Kisung Lee, Ling Liu, editors, 37th IEEE International Conference on Distributed Computing Systems, ICDCS 2017, Atlanta, GA, USA, June 5-8, 2017. pages 1586-1596, IEEE Computer Society, 2017. [doi]
Abstract is missing.