@book(AWbook,
 author       = {Hagit Attiya and Jennifer Welch},
 year         = {2004},
 title        = {Distributed Computing: Fundamentals, Simulations and Advanced Topics},
 publisher    = {John Wiley \& Sons},
 doi          = {10.1002/0471478210},
)
@article(Au,
 author       = {R. J. Aumann},
 year         = {1976},
 title        = {Agreeing to disagree},
 journal      = {Annals of Statistics},
 volume       = {4},
 number       = {6},
 pages        = {1236--1239},
 doi          = {10.1214/aos/1176343654},
)
@inproceedings(BzMICLA2013,
 author       = {Ben{-}Zvi, Ido and Yoram Moses},
 year         = {2013},
 title        = {Agent-Time Epistemics and Coordination},
 booktitle    = {Proceedings of ICLA},
 pages        = {97--108},
 doi          = {10.1007/978-3-642-36039-8\_9},
)
@inproceedings(BzMTARK2013,
 author       = {Ben{-}Zvi, Ido and Yoram Moses},
 year         = {2013},
 title        = {The Shape of Reactive Coordination Tasks},
 booktitle    = {Proceedings of TARK},
 series       = {TARK XIV},
 pages        = {29--38},
)
@article(BZMacm,
 author       = {Ben{-}Zvi, Ido and Yoram Moses},
 year         = {2014},
 title        = {Beyond Lamport's \emph{Happened-before}: On Time Bounds and the Ordering of Events in Distributed Systems},
 journal      = {J. {ACM}},
 volume       = {61},
 number       = {2},
 pages        = {13},
 doi          = {10.1145/2542181},
)
@inproceedings(CGM,
 author       = {Casta{\~n}eda, Armando and Yannai A Gonczarowski and Yoram Moses},
 year         = {2014},
 title        = {Unbeatable Consensus},
 booktitle    = {Proceedings of DISC},
 publisher    = {Springer},
 pages        = {91--106},
 doi          = {10.1007/978-3-662-45174-8\_7},
)
@article(ChM,
 author       = {K. M. Chandy and J. Misra},
 year         = {1986},
 title        = {How processes learn},
 journal      = {Distributed Computing},
 volume       = {1},
 number       = {1},
 pages        = {40--52},
 doi          = {10.1007/BF01843569},
)
@article(DHM,
 author       = {Danny Dolev and Ezra N Hoch and Yoram Moses},
 year         = {2012},
 title        = {An optimal self-stabilizing firing squad},
 journal      = {SIAM Journal on Computing},
 volume       = {41},
 number       = {2},
 pages        = {415--435},
 doi          = {10.1137/090776512},
)
@article(DM,
 author       = {C. Dwork and Y. 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(FHMV,
 author       = {R. Fagin and J. Y. Halpern and Y. Moses and M. Y. Vardi},
 year         = {2003},
 title        = {Reasoning about Knowledge},
 publisher    = {MIT Press},
 address      = {Cambridge, Mass.},
)
@article(Fagin1999revisited,
 author       = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Vardi. Moshe Y.},
 year         = {1999},
 title        = {Common knowledge revisited},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {96},
 number       = {1–3},
 doi          = {10.1016/S0168-0072(98)00033-5},
)
@inproceedings(GoM,
 author       = {Y Gonczarowski and Y Moses},
 year         = {2013},
 title        = {Timely common knowledge: Characterising asymmetric distributed coordination via vectorial fixed points},
 booktitle    = {Proceedings of TARK XIV},
)
@article(HM1,
 author       = {J. Y. Halpern and Y. 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/800222.806735},
 note         = {A preliminary version appeared in {\em Proc.~3rd ACM PODC}, 1984},
)
@article(HM2,
 author       = {J. Y. Halpern and Y. Moses},
 year         = {1992},
 title        = {A guide to completeness and complexity for modal logics of knowledge and belief},
 journal      = {Artificial Intelligence},
 volume       = {54},
 pages        = {319--379},
 doi          = {10.1016/0004-3702(92)90049-4},
)
@article(HalMoWa2001,
 author       = {Joseph Y. Halpern and Yoram Moses and Orli Waarts},
 year         = {2001},
 title        = {A Characterization of Eventual Byzantine Agreement},
 journal      = {SIAM J. Comput.},
 volume       = {31},
 number       = {3},
 pages        = {838--865},
 doi          = {10.1137/S0097539798340217},
)
@inproceedings(HerMT,
 author       = {Maurice P Herlihy and Yoram Moses and Mark R Tuttle},
 year         = {2011},
 title        = {Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions},
 booktitle    = {Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing},
 organization = {ACM},
 pages        = {231--238},
 doi          = {10.1145/1993806.1993849},
)
@inproceedings(lelann,
 author       = {Le Lann, G{\'e}rard},
 year         = {1977},
 title        = {Distributed Systems-Towards a Formal Approach},
 booktitle    = {IFIP Congress},
 volume       = {7},
 organization = {Toronto},
 pages        = {155--160},
)
@book(Lew,
 author       = {D. Lewis},
 year         = {1969},
 title        = {Convention, A Philosophical Study},
 publisher    = {Harvard University Press},
 address      = {Cambridge, Mass.},
)
@incollection(MH,
 author       = {J. McCarthy and P. J. Hayes},
 year         = {1969},
 title        = {Some Philosophical Problems From the Standpoint of Artificial Intelligence},
 booktitle    = {Machine Intelligence 4},
 publisher    = {Edinburgh University Press},
 pages        = {463--502},
 doi          = {10.1016/b978-0-934613-03-3.50033-7},
)
@article(MizMos,
 author       = {Tal Mizrahi and Yoram Moses},
 year         = {2008},
 title        = {Continuous consensus via common knowledge},
 journal      = {Distributed Computing},
 volume       = {20},
 number       = {5},
 pages        = {305--321},
 doi          = {10.1007/s00446-007-0049-6},
)
@incollection(MizMos1,
 author       = {Tal Mizrahi and Yoram Moses},
 year         = {2008},
 title        = {Continuous consensus with ambiguous failures},
 booktitle    = {Distributed Computing and Networking},
 publisher    = {Springer},
 pages        = {73--85},
 doi          = {10.1016/j.tcs.2010.04.025},
)
@unpublished(Mono,
 author       = {Y Moses},
 year         = {2016},
 note         = {{\it Knowledge and Coordinated Action}, to appear},
)
@article(MT,
 author       = {Y. Moses and M. R. Tuttle},
 year         = {1988},
 title        = {Programming simultaneous actions using common knowledge},
 journal      = {Algorithmica},
 volume       = {3},
 pages        = {121--169},
 doi          = {10.1007/BF01762112},
)
@unpublished(Neig90,
 author       = {G. Neiger},
 year         = {1990},
 title        = {Consistent coordination and continual common knowledge. {M}anuscript},
)
@article(NeigTuttle,
 author       = {G. Neiger and M. R. Tuttle},
 year         = {1993},
 title        = {Common knowledge and consistent simultaneous coordination},
 journal      = {Distributed Computing},
 volume       = {6},
 number       = {3},
 pages        = {334--352},
 doi          = {10.1007/BF02242706},
)
@article(neiger1999using,
 author       = {Gil Neiger and Rida A Bazzi},
 year         = {1999},
 title        = {Using knowledge to optimally achieve coordination in distributed systems},
 journal      = {Theoretical computer science},
 volume       = {220},
 number       = {1},
 pages        = {31--65},
 doi          = {10.1016/S0304-3975(98)00236-9},
)
@article(PK92,
 author       = {R. Parikh and P. Krasucki},
 year         = {1992},
 title        = {Levels of knowledge in distributed computing},
 journal      = {S\={a}dhan\={a}},
 volume       = {17},
 number       = {1},
 pages        = {167--191},
 doi          = {10.1007/bf02811342},
)
@article(schneider1990,
 author       = {Fred B Schneider},
 year         = {1990},
 title        = {Implementing fault-tolerant services using the state machine approach: A tutorial},
 journal      = {ACM Computing Surveys (CSUR)},
 volume       = {22},
 number       = {4},
 pages        = {299--319},
 doi          = {10.1145/98163.98167},
)
@article(Selten75,
 author       = {R. Selten},
 year         = {1975},
 title        = {Reexamination of the perfectness concept for equilibrium points in extensive games},
 journal      = {International Journal of Game Theory},
 volume       = {4},
 pages        = {25--55},
 doi          = {10.1145/2542181},
)