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