Hagit Attiya
Jennifer Welch
2004
Distributed Computing: Fundamentals, Simulations and Advanced Topics
John Wiley & Sons
10.1002/0471478210
R. J. Aumann
1976
Agreeing to disagree
Annals of Statistics
4
6
1236–1239
10.1214/aos/1176343654
Ido Ben-Zvi
Yoram Moses
2013
Agent-Time Epistemics and Coordination
Proceedings of ICLA
97–108
10.1007/978-3-642-36039-8_9
Ido Ben-Zvi
Yoram Moses
2013
The Shape of Reactive Coordination Tasks
Proceedings of TARK
TARK XIV
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
13
10.1145/2542181
Armando Castañeda
Yannai A Gonczarowski
Yoram Moses
2014
Unbeatable Consensus
Proceedings of DISC
Springer
91–106
10.1007/978-3-662-45174-8_7
K. M. Chandy
J. Misra
1986
How processes learn
Distributed Computing
1
1
40–52
10.1007/BF01843569
Danny Dolev
Ezra N Hoch
Yoram Moses
2012
An optimal self-stabilizing firing squad
SIAM Journal on Computing
41
2
415–435
10.1137/090776512
C. Dwork
Y. Moses
1990
Knowledge and common knowledge in a Byzantine environment: crash failures
Information and Computation
88
2
156–186
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
10.1016/S0168-0072(98)00033-5
Y Gonczarowski
Y Moses
2013
Timely common knowledge: Characterising asymmetric distributed coordination via vectorial fixed points
Proceedings of TARK XIV
J. Y. Halpern
Y. Moses
1990
Knowledge and Common Knowledge in a Distributed Environment
Journal of the ACM
37
3
549–587
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
319–379
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
838–865
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
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
ACM
231–238
10.1145/1993806.1993849
Gérard Le Lann
1977
Distributed Systems-Towards a Formal Approach
IFIP Congress
7
Toronto
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
Machine Intelligence 4
Edinburgh University Press
463–502
10.1016/b978-0-934613-03-3.50033-7
Tal Mizrahi
Yoram Moses
2008
Continuous consensus via common knowledge
Distributed Computing
20
5
305–321
10.1007/s00446-007-0049-6
Tal Mizrahi
Yoram Moses
2008
Continuous consensus with ambiguous failures
Distributed Computing and Networking
Springer
73–85
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
121–169
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
334–352
10.1007/BF02242706
Gil Neiger
Rida A Bazzi
1999
Using knowledge to optimally achieve coordination in distributed systems
Theoretical computer science
220
1
31–65
10.1016/S0304-3975(98)00236-9
R. Parikh
P. Krasucki
1992
Levels of knowledge in distributed computing
Sādhanā
17
1
167–191
10.1007/bf02811342
Fred B Schneider
1990
Implementing fault-tolerant services using the state machine approach: A tutorial
ACM Computing Surveys (CSUR)
22
4
299–319
10.1145/98163.98167
R. Selten
1975
Reexamination of the perfectness concept for equilibrium points in extensive games
International Journal of Game Theory
4
25–55
10.1145/2542181