Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. R. Alur W. Penczek, D. Peled, Model-Checking of Causality Properties, 10th Symposium on Logic in Computer Science, IEEE, 1995, 90–100, San Diego, California, USA.
2. K. M. Chandy, L. Lamport, Distributed Snapshots: determining the global state of distributed systems, ACM Transactions on Computer Systems 3 (1985), 63–75.
3. D. Harel, First order Dynamic Logic, Lecture Notes in Computer Science 68, Springer, 1979.
4. S. Katz, D. Peled, Interleaving Set Temporal Logic, Theoretical Computer Science, Vol. 75, Number 3, 21–43
5. S. Katz, D. Peled, Verification of Distributed Programs using Representative Interleaving Sequences, Distributed Computing 6 (1992) 107–120.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献