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

DOI10.1007/S00446-021-00402-WMaRDI QIDQ2241299zbMATH OpenOpenAlexFDO

Authors 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

conjunctive predicatedistributed monitoringpartially synchronous systemsprecision and recallpredicate detection

Mathematics Subject Classification ID

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

Recommendations

• Distributed system contract monitoring
• On distributed monitoring of asynchronous systems
• Finding missing synchronization in a distributed computation using controlled re-execution
• CONCUR 2003 - Concurrency Theory
• Detecting causal relationships in distributed computations: In search of the holy grail

Cites work

• Analysis of bounds on hybrid vector clocks
• Bounded Version Vectors
• Concerning the size of logical clocks in distributed systems
• Detecting global predicates in distributed systems with clocks
• Time, clocks, and the ordering of events in a distributed system

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2241299)