Author:
Garg Vijay K.,Agarwal Anurag,Ogale Vinit
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference30 articles.
1. Distributed snapshots: Determining global states of distributed systems;Chandy;ACM Trans. Comput. Syst.,1985
2. Consistent detection of global predicates;Cooper,1991
3. Detection of weak unstable predicates in distributed programs;Garg;IEEE Trans. Parallel Distrib. Syst.,1994
4. The temporal logic of programs;Pnueli,1977
5. Partial orders for parallel debugging;Fidge;ACM SIGPLAN Not.,1989
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献