Consistent detection of global predicates
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Testing and Debugging Distributed Programs Using Global Predicates
IEEE Transactions on Software Engineering
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Temporal interactions of intervals in distributed systems
Journal of Computer and System Sciences
Detection of Strong Unstable Predicates in Distributed Programs
IEEE Transactions on Parallel and Distributed Systems
A framework for viewing atomic events in distributed computations
Theoretical Computer Science - Special issue on parallel computing
Efficient Distributed Detection of Conjunctions of Local Predicates
IEEE Transactions on Software Engineering
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Detection of Weak Unstable Predicates in Distributed Programs
IEEE Transactions on Parallel and Distributed Systems
Detection of Global State Predicates
WDAG '91 Proceedings of the 5th International Workshop on Distributed Algorithms
Detecting global predicates in distributed systems with clocks
Distributed Computing
Distributed algorithm to detect strong conjunctive predicates
Information Processing Letters
Causality-Based Predicate Detection across Space and Time
IEEE Transactions on Computers
Temporal Predicate Detection Using Synchronized Clocks
IEEE Transactions on Computers
Data-stream-based global event monitoring using pairwise interactions
Journal of Parallel and Distributed Computing
Global predicate detection in distributed systems with small faults
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Middleware clocks for sensing the physical world
Proceedings of the 5th International Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks
Repeated detection of conjunctive predicates in distributed executions
Information Processing Letters
Querying context maps using relative timing predicates in pervasive environments
Proceedings of the 6th International Workshop on Middleware Tools, Services and Run-time Support for Networked Embedded Systems
Predicate detection using event streams in ubiquitous environments
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Analysis of interval-based global state detection
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
| Hi-index | 0.01 |
Specifying and detecting predicates in a distributed execution is an important problem. Distributed execution observation has classically used two modalities驴\big. Possibly(\phi)\bigr. and \big. Definitely(\phi)\bigr.驴for predicate \big. \phi\bigr.. Based on the temporal interactions of intervals, the author identified a complete, orthogonal set of relationships \big. \Re\bigr. between pairs of intervals in a distributed execution. This paper shows how to map the rich, orthogonal classification of modalities of pairwise interval interactions, to the classical coarse-grained classification, \big. Possibly(\phi)\bigr. and \big. Definitely(\phi)\bigr., for specifying predicates defined on any number of processes. This increases the power of expressing the temporal modalities under which predicates can be specified, beyond the current \big. Possibly\bigr./\big. Definitely\bigr. classification. This paper also gives timestamp-based tests for the orthogonal modalities in the refined classification.