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