Precision, recall, and sensitivity of monitoring partially synchronous distributed programs

DOI10.1007/S00446-021-00402-WOpenAlexW3200658361MaRDI QIDQ2241299

Yanyan Li

Publication date: 8 November 2021

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1607.03369

zbMATH Keywords

predicate detectionpartially synchronous systemsconjunctive predicatedistributed monitoringprecision and recall

Mathematics Subject Classification ID

Distributed systems (68M14) Distributed algorithms (68W15)

Cites Work

• Unnamed Item
• Unnamed Item
• Concerning the size of logical clocks in distributed systems
• Time, clocks, and the ordering of events in a distributed system
• Bounded Version Vectors

This page was built for publication: Precision, recall, and sensitivity of monitoring partially synchronous distributed programs