Ido Ben-Zvi
Yoram Moses
2014
Beyond Lamport's Happened-before: On Time Bounds and the Ordering of Events in Distributed Systems
Journal of the ACM
61
2:13
10.1145/2542181
K. M. Chandy
Jayadev Misra
1986
How processes learn
Distributed Computing
1
1
40–52
10.1007/BF01843569
Reinhard Diestel
2017
Graph Theory
Fifth
Springer
10.1007/978-3-662-53622-3
Cynthia Dwork
Yoram Moses
1990
Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures
Information and Computation
88
2
156–186
10.1016/0890-5401(90)90014-9
Ronald Fagin
Joseph Y. Halpern
Yoram Moses
Moshe Y. Vardi
1995
Reasoning About Knowledge
MIT Press
Ronald Fagin
Joseph Y. Halpern
Yoram Moses
Moshe Y. Vardi
1999
Common knowledge revisited
Annals of Pure and Applied Logic
96
1–3
89–105
10.1016/S0168-0072(98)00033-5
Krisztina Fruzsa
2019
Hope for Epistemic Reasoning with Faulty Agents!
Proceedings of ESSLLI 2019 Student Session
(To appear)
Guy Goren
Yoram Moses
2018
Silence
PODC '18, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing
ACM
285–294
10.1145/3212734.3212768
Joseph Y. Halpern
Yoram Moses
1990
Knowledge and Common Knowledge in a Distributed Environment
Journal of the ACM
37
3
549–587
10.1145/79147.79161
Joseph Y. Halpern
Yoram Moses
Orli Waarts
2001
A characterization of eventual Byzantine agreement
SIAM Journal on Computing
31
3
838–865
10.1137/S0097539798340217
Jaakko Hintikka
1962
Knowledge and Belief: An Introduction to the Logic of the Two Notions
Cornell University Press
Roman Kuznets
Laurent Prosperi
Ulrich Schmid
Krisztina Fruzsa
2019
Epistemic Reasoning with Byzantine-Faulty Agents
Proceedings of FroCoS 2019
(To appear)
Roman Kuznets
Laurent Prosperi
Ulrich Schmid
Krisztina Fruzsa
Lucas Gréaux
2019
Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone
Technical Report
TUW-260549
TU Wien
https://publik.tuwien.ac.at/files/publik_260549.pdf
Leslie Lamport
1978
Time, Clocks, and the Ordering of Events in a Distributed System
Communications of the ACM
21
7
558–565
10.1145/359545.359563
Leslie Lamport
Robert Shostak
Marshall Pease
1982
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems
4
3
382–401
10.1145/357172.357176
Alexandre Maurer
Sébastien Tixeuil
Xavier Defago
2015
Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults
eprint
1402.0121
arXiv
https://arxiv.org/abs/1402.0121
Yoram Moses
2015
Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle
R. Ramanujam
Proceedings of TARK 2015
231–245
10.4204/EPTCS.215.17
Yoram Moses
Yoav Shoham
1993
Belief as defeasible knowledge
Artificial Intelligence
64
2
299–321
10.1016/0004-3702(93)90107-M
Yoram Moses
Mark R. Tuttle
1988
Programming Simultaneous Actions Using Common Knowledge
Algorithmica
3
121–169
10.1007/BF01762112
T. K. Srikanth
Sam Toueg
1987
Optimal Clock Synchronization
Journal of the ACM
34
3
626–645
10.1145/28869.28876