Duong N. Nguyen, Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas. Precision, recall, and sensitivity of monitoring partially synchronous distributed programs. Distributed Computing, 34(5):319-348, 2021. [doi]
Abstract is missing.