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
ACM SIGACT News distributed computing column 12
ACM SIGACT News
Dynamic partial-order reduction for model checking software
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Techniques and applications of computation slicing
Distributed Computing
Solving Computation Slicing Using Predicate Detection
IEEE Transactions on Parallel and Distributed Systems
Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems
Engineering Societies in the Agents World VIII
Parametric and sliced causality
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Detecting temporal logic predicates on distributed computations
DISC'07 Proceedings of the 21st international conference on Distributed Computing
Hi-index | 0.00 |