Subject
General Computer Science,Theoretical Computer Science
Reference46 articles.
1. Recursive assertions and parallel programs;Apt;Acta Inform.,1981
2. Mathematical Theory of Program Correctness;de Bakker,1980
3. Concurrency Control and Recovery in Database Systems;Bernstein,1987
4. Repeated snapshots in distributed systems with synchronous communications and their implementations in CSP;Bougé;Theoret. Comput. Sci.,1987
5. Distributed snapshots: determining the global state of distributed systems;Chandy;ACM Trans. Comput. Systems,1985
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献