On the correctness of highly available systems in the presence of failures

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]

Abstract

Abstract is missing.