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]
@inproceedings{DoanOB17,
title = {Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level},
author = {Ha Thi Thu Doan and Kazuhiro Ogata and François Bonnet},
year = {2017},
doi = {10.1109/ICDCS.2017.176},
url = {https://doi.org/10.1109/ICDCS.2017.176},
researchr = {https://researchr.org/publication/DoanOB17},
cites = {0},
citedby = {0},
pages = {1586-1596},
booktitle = {37th IEEE International Conference on Distributed Computing Systems, ICDCS 2017, Atlanta, GA, USA, June 5-8, 2017},
editor = {Kisung Lee and Ling Liu},
publisher = {IEEE Computer Society},
isbn = {978-1-5386-1792-2},
}