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),
doi:10.1145/2542181.
K. M. Chandy & Jayadev Misra (1986):
How processes learn.
Distributed Computing 1(1),
pp. 40–52,
doi:10.1007/BF01843569.
Cynthia Dwork & Yoram Moses (1990):
Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures.
Information and Computation 88(2),
pp. 156–186,
doi: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),
pp. 89–105,
doi:10.1016/S0168-0072(98)00033-5.
Krisztina Fruzsa (2019):
Hope for Epistemic Reasoning with Faulty Agents!.
In: Proceedings of ESSLLI 2019 Student Session.
(To appear).
Guy Goren & Yoram Moses (2018):
Silence.
In: PODC '18, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing.
ACM,
pp. 285–294,
doi:10.1145/3212734.3212768.
Joseph Y. Halpern & Yoram Moses (1990):
Knowledge and Common Knowledge in a Distributed Environment.
Journal of the ACM 37(3),
pp. 549–587,
doi:10.1145/79147.79161.
Joseph Y. Halpern, Yoram Moses & Orli Waarts (2001):
A characterization of eventual Byzantine agreement.
SIAM Journal on Computing 31(3),
pp. 838–865,
doi: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.
In: 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.
Available at 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),
pp. 558–565,
doi:10.1145/359545.359563.
Leslie Lamport, Robert Shostak & Marshall Pease (1982):
The Byzantine Generals Problem.
ACM Transactions on Programming Languages and Systems 4(3),
pp. 382–401,
doi: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.
Available at https://arxiv.org/abs/1402.0121.
Yoram Moses (2015):
Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle.
In: R. Ramanujam: Proceedings of TARK 2015,
pp. 231–245,
doi:10.4204/EPTCS.215.17.
Yoram Moses & Yoav Shoham (1993):
Belief as defeasible knowledge.
Artificial Intelligence 64(2),
pp. 299–321,
doi:10.1016/0004-3702(93)90107-M.
Yoram Moses & Mark R. Tuttle (1988):
Programming Simultaneous Actions Using Common Knowledge.
Algorithmica 3,
pp. 121–169,
doi:10.1007/BF01762112.
T. K. Srikanth & Sam Toueg (1987):
Optimal Clock Synchronization.
Journal of the ACM 34(3),
pp. 626–645,
doi:10.1145/28869.28876.
eptcs@eptcs.org