Author:
Attali Isabelle,Chazarain Jacques,Gilette Serge
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. R.A. Bull and K. Segerberg. Basic Modal Logic. In: Handbook of Philosophical logic. vol. II, D. Gabbay and F. Guenthner (Eds.), D. Reidel Publishing Company (1984), p. 1–88.
2. J.P. Burgess. Decidability for Branching Time. Studia Logica, 1980 XXXIX 2/3, p. 203–218.
3. J.P. Burgess. Basic Tence Logic. In: Handbook of Philosophical logic. vol. II, D. Gabbay and F. Guenthner (Eds.), D. Reidel Publishing Company (1984), p. 89–133.
4. E.A. Chandy and L. Lamport. Distributed Snapshots: Determining Global States of Distributed Systems. ACM Transactions on Computer Systems 3, 1 1985
5. S. Christensen. A Model for Distributed Systems. MCs degree, Aarhus University, Computer Science Department, September 1989.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献