@incollection(BM10:DISC,
 author       = {Ben-{Z}vi, Ido and Yoram Moses},
 year         = {2010},
 title        = {Beyond {L}amport's \emph{Happened-Before}: On the Role of Time Bounds in Synchronous Systems},
 editor       = {Nancy A. Lynch and Alexander A. Shvartsman},
 booktitle    = {{DISC~2010}: Distributed Computing},
 series       = {LNCS},
 volume       = {6343},
 publisher    = {Springer},
 pages        = {421--436},
 doi          = {10.1007/978-3-642-15763-9\_42},
)
@incollection(BM13:ICLA,
 author       = {Ben-Zvi, Ido and Yoram Moses},
 year         = {2013},
 title        = {Agent-Time Epistemics and Coordination},
 editor       = {Kamal Lodaya},
 booktitle    = {{ICLA~2013}: Logic and Its Applications},
 series       = {LNCS},
 volume       = {7750},
 publisher    = {Springer},
 pages        = {97--108},
 doi          = {10.1007/978-3-642-36039-8\_9},
)
@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},
)
@incollection(BL87,
 author       = {James E. Burns and Nancy A. Lynch},
 year         = {1987},
 title        = {The {B}yzantine {F}iring {S}quad Problem},
 editor       = {Franco P. Preparata},
 booktitle    = {Parallel and Distributed Computing},
 series       = {Advances in Computing Research: A research annual},
 volume       = {4},
 publisher    = {JAI Press},
 pages        = {147--161},
 url          = {https://apps.dtic.mil/docs/citations/ADA154770},
)
@incollection(CGM14,
 author       = {Casta{\~n}eda, Armando and Yannai A. Gonczarowski and Yoram Moses},
 year         = {2014},
 title        = {Unbeatable Consensus},
 editor       = {Fabian Kuhn},
 booktitle    = {{DISC~2014}: Distributed Computing},
 series       = {LNCS},
 volume       = {8784},
 publisher    = {Springer},
 pages        = {91--106},
 doi          = {10.1007/978-3-662-45174-8\_7},
)
@article(DFPS14:JCSS,
 author       = {Danny Dolev and Matthias F{\"u}gger and Markus Posch and Ulrich Schmid and Andreas Steininger and Christoph Lenzen},
 year         = {2014},
 title        = {Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip},
 journal      = {Journal of Computer and System Sciences},
 volume       = {80},
 number       = {2},
 pages        = {860--900},
 doi          = {10.1016/j.jcss.2014.01.001},
)
@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},
)
@mastersthesis(Fim18:master,
 author       = {Patrik Fimml},
 year         = {2018},
 title        = {Temporal-Epistemic Logic in Byzantine Message-Passing Contexts},
 school       = {Technische Universit{\"a}t Wien, Institut f{\"u}r Computer Engineering},
 url          = {http://publik.tuwien.ac.at/files/publik\_273448.pdf},
)
@inproceedings(Fru19:ESSLLI,
 author       = {Krisztina Fruzsa},
 year         = {2019},
 title        = {Hope for Epistemic Reasoning with Faulty Agents!},
 booktitle    = {ESSLLI 2019 Student Session},
 publisher    = {FOLLI},
 url          = {http://esslli2019.folli.info/wp-content/uploads/2019/08/tentative_proceedings.pdf},
)
@article(FS12:DC,
 author       = {Matthias F{\"u}gger and Ulrich Schmid},
 year         = {2012},
 title        = {Reconciling fault-tolerant distributed computing and systems-on-chip},
 journal      = {Distributed Computing},
 volume       = {24},
 number       = {6},
 pages        = {323--355},
 doi          = {10.1007/s00446-011-0151-7},
)
@inproceedings(GM13:TARK,
 author       = {Yannai A. Gonczarowski and Yoram Moses},
 year         = {2013},
 title        = {Timely Common Knowledge: Characterising Asymmetric Distributed Coordination via Vectorial Fixed Points},
 editor       = {Burkhard C. Schipper},
 booktitle    = {{TARK~2013}: Theoretical Aspects of Rationality and Knowledge},
 pages        = {79--93},
 url          = {http://www.tark.org/proceedings/tark_jan7_13/p79-gonczarowski.pdf},
)
@inproceedings(GM18:PODC,
 author       = {Guy Goren and Yoram Moses},
 year         = {2018},
 title        = {Silence},
 booktitle    = {{PODC}~2018: 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(KPSF19:TARK,
 author       = {Roman Kuznets and Laurent Prosperi and Ulrich Schmid and Krisztina Fruzsa},
 year         = {2019},
 title        = {Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems},
 editor       = {Lawrence S. Moss},
 booktitle    = {TARK 2019: Theoretical Aspects of Rationality and Knowledge},
 series       = {EPTCS},
 volume       = {297},
 publisher    = {Open Publishing Association},
 pages        = {293--312},
 doi          = {10.4204/EPTCS.297.19},
)
@incollection(KPSF19:FroCos,
 author       = {Roman Kuznets and Laurent Prosperi and Ulrich Schmid and Krisztina Fruzsa},
 year         = {2019},
 title        = {Epistemic Reasoning with Byzantine-Faulty Agents},
 editor       = {Andreas Herzig and Andrei Popescu},
 booktitle    = {FroCoS 2019: Frontiers of Combining Systems},
 series       = {LNCS},
 volume       = {11715},
 publisher    = {Springer},
 pages        = {259--276},
 doi          = {10.1007/978-3-030-29007-8\_15},
)
@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},
)
@inproceedings(Mos15TARK,
 author       = {Yoram Moses},
 year         = {2015},
 title        = {Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle},
 editor       = {R. Ramanujam},
 booktitle    = {{TARK~2015}: Theoretical Aspects of Rationality and Knowledge},
 series       = {EPTCS},
 volume       = {215},
 publisher    = {Open Publishing Association},
 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},
)
@inproceedings(moses1986programming,
 author       = {Yoram Moses and Mark R. Tuttle},
 year         = {1986},
 title        = {Programming Simultaneous Actions Using Common Knowledge: Preliminary Version},
 booktitle    = {27th~Annual Symposium on Foundations of Computer Science},
 publisher    = {IEEE},
 pages        = {208--221},
 doi          = {10.1109/SFCS.1986.46},
)
@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(RS11:TCS,
 author       = {Peter Robinson and Ulrich Schmid},
 year         = {2011},
 title        = {The {A}synchronous {B}ounded-{C}ycle model},
 journal      = {Theoretical Computer Science},
 volume       = {412},
 number       = {40},
 pages        = {5580--5601},
 doi          = {10.1016/j.tcs.2010.08.001},
)
@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},
)
@article(ST87:abc,
 author       = {T. K. Srikanth and Sam Toueg},
 year         = {1987},
 title        = {Simulating authenticated broadcasts to derive simple fault-tolerant algorithms},
 journal      = {Distributed Computing},
 volume       = {2},
 number       = {2},
 pages        = {80--94},
 doi          = {10.1007/BF01667080},
)
@article(KnasterTarski,
 author       = {Alfred Tarski},
 year         = {1955},
 title        = {A lattice-theoretical fixpoint theorem and its applications},
 journal      = {Pacific Journal of Mathematics},
 volume       = {5},
 number       = {2},
 pages        = {285--309},
 doi          = {10.2140/pjm.1955.5.285},
)
@article(WS09:DC,
 author       = {Josef Widder and Ulrich Schmid},
 year         = {2009},
 title        = {The {T}heta-{M}odel: achieving synchrony without clocks},
 journal      = {Distributed Computing},
 volume       = {22},
 number       = {1},
 pages        = {29--47},
 doi          = {10.1007/s00446-009-0080-x},
)