Wolf Honoré, Jieung Kim, Ji-Yong Shin, Zhong Shao. Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems. Proceedings of the ACM on Programming Languages, 5(ICFP):1-31, 2021. [doi]
@article{HonoreKSS21,
title = {Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems},
author = {Wolf Honoré and Jieung Kim and Ji-Yong Shin and Zhong Shao},
year = {2021},
doi = {10.1145/3485474},
url = {https://doi.org/10.1145/3485474},
researchr = {https://researchr.org/publication/HonoreKSS21},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {5},
number = {ICFP},
pages = {1-31},
}