Author:
Fischer Michael J.,Zuck Lenore D.
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. C. Dwork and Y. Moses, Knowledge and common knowledge in a Byzantine environment I: crash failures (extended abstract), Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference (J. Y. Halpern, ed.), Morgan Kaufmann, 1986, pp. 149–170.
2. D. Dolev and H. R. Strong, Authenticated algorithms for Byzantine agreement, SIAM Journal on Computing 12:4, 1983, pp. 656–666.
3. R. Fagin and J. Y. Halpern, Reasoning about knowledge and probability: preliminary report, Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Second (1988) Conference (M. Y. Vardi, ed.), Morgan Kaufmann, March 1988, pp. 277–293.
4. M. J. Fischer and N. Immerman, Foundations of knowledge for distributed systems, Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference (J. Y. Halpern, ed.), Morgan Kaufmann, 1986, pp. 171–186.
5. M. J. Fischer and L. D. Zuck, Relative knowledge and beilief, Technical Report YALE/DCS/TR 589, Yale University, 1987.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Probably Approximately Knowing;Proceedings of the 39th Symposium on Principles of Distributed Computing;2020-07-31
2. Robust Satisfaction;CONCUR’99 Concurrency Theory;1999
3. Verification of open systems;Lecture Notes in Computer Science;1997
4. Module checking revisited;Computer Aided Verification;1997
5. The Wakeup Problem;SIAM Journal on Computing;1996-12