Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski. On the correctness of highly available systems in the presence of failures. J. Parallel Distrib. Comput., 180:104707, 2023. [doi]
@article{KokocinskiKW23,
title = {On the correctness of highly available systems in the presence of failures},
author = {Maciej Kokocinski and Tadeusz Kobus and Pawel T. Wojciechowski},
year = {2023},
doi = {10.1016/j.jpdc.2023.04.008},
url = {https://doi.org/10.1016/j.jpdc.2023.04.008},
researchr = {https://researchr.org/publication/KokocinskiKW23},
cites = {0},
citedby = {0},
journal = {J. Parallel Distrib. Comput.},
volume = {180},
pages = {104707},
}