Efficient Distributed Detection of Conjunctions of Local Predicates
IEEE Transactions on Software Engineering
Fundamentals of fault-tolerant distributed computing in asynchronous environments
ACM Computing Surveys (CSUR)
Techniques to Tackle State Explosion in Global Predicate Detection
IEEE Transactions on Software Engineering
Methods for Observing Global Properties in Distributed Systems
IEEE Parallel & Distributed Technology: Systems & Technology
Computation Slicing: Techniques and Theory
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
Software Fault Tolerance of Distributed Programs Using Computation Slicing
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
On Detecting Global Predicates in Distributed Computations
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Distributed algorithm to detect strong conjunctive predicates
Information Processing Letters
Detecting global predicates in distributed systems with clocks
Distributed Computing
Detection of global predicates: techniques and their limitations
Distributed Computing
Techniques and applications of computation slicing
Distributed Computing
Solving Computation Slicing Using Predicate Detection
IEEE Transactions on Parallel and Distributed Systems
Repeated detection of conjunctive predicates in distributed executions
Information Processing Letters
Detecting temporal logic predicates on distributed computations
DISC'07 Proceedings of the 21st international conference on Distributed Computing
| Hi-index | 0.00 |