Testing and Debugging Distributed Programs Using Global 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
Rule-based management of distributed operating systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Distributed Predicate Detection in Series-Parallel Systems
IEEE Transactions on Parallel and Distributed Systems
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
A Causal-Phase Protocol to Order Soft Real-Time Transactions in a Distributed Database
LCN '01 Proceedings of the 26th Annual IEEE Conference on Local Computer Networks
A Fine-Grained Modality Classification for Global Predicates
IEEE Transactions on Parallel and Distributed Systems
Distributed algorithm to detect strong conjunctive predicates
Information Processing Letters
Causality tracking in causal message-logging protocols
Distributed Computing
A Global-State-Triggered Fault Injector for Distributed System Evaluation
IEEE Transactions on Parallel and Distributed Systems
Detecting global predicates in distributed systems with clocks
Distributed Computing
Detection of global predicates: techniques and their limitations
Distributed Computing
Detecting causal relationships in distributed computations: in search of the holy grail
Distributed Computing
Detection of disjunctive normal form predicate in distributed systems
ICDCN'08 Proceedings of the 9th international conference on Distributed computing and networking
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Strongly consistent global states detection using relative clock errors
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Stable predicate detection in dynamic systems
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
Hi-index | 0.00 |