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]

Authors

Maciej Kokocinski

This author has not been identified. Look up 'Maciej Kokocinski' in Google

Tadeusz Kobus

This author has not been identified. Look up 'Tadeusz Kobus' in Google

Pawel T. Wojciechowski

This author has not been identified. Look up 'Pawel T. Wojciechowski' in Google