Repeated detection of conjunctive predicates in distributed executions
From MaRDI portal
Publication:1944920
DOI10.1016/j.ipl.2011.01.016zbMath1260.68452OpenAlexW1965529846MaRDI QIDQ1944920
Publication date: 28 March 2013
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2011.01.016
Related Items
Cites Work
- Data-stream-based global event monitoring using pairwise interactions
- Temporal interactions of intervals in distributed systems.
- Distributed algorithm to detect strong conjunctive predicates
- Time, clocks, and the ordering of events in a distributed system
- Formal Verification of Simulation Traces Using Computation Slicing
- Distributed Computing
- Formal Approaches to Software Testing