Alexandru Baltag
Lawrence S. Moss
Slawomir Solecki
1998
The logic of public announcements, common knowledge, and private suspicions
Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998)
43–56
http://dl.acm.org/citation.cfm?id=645876.671885
Adam Bjorndahl
Will Nalls
2021
Endogenizing Epistemic Actions
Studia Logica
10.1007/s11225-020-09937-8
Elizabeth Borowsky
Eli Gafni
1993
Generalized FLP impossibility result for t-resilient asynchronous computations
Proceedings of the Twenty-Fifth ACM Symposium on Theory of Computing (STOC 1993)
91–100
10.1145/167088.167119
Elizabeth Borowsky
Eli Gafni
1993
Immediate atomic snapshots and fast renaming (extended abstract)
Proceedings of the Twelth Annual ACM Symposium on Principles of Distributed Computing (PODC 1993)
41–51
10.1145/164051.164056
Elizabeth Borowsky
Eli Gafni
1997
A simple algorithmically reasoned characterization of wait-free computation (extended abstract)
Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing (PODC 1997)
ACM
189–198
10.1145/259380.259439
Armando Castañeda
Yannai A. Gonczarowski
Yoram Moses
2014
Unbeatable Consensus
Fabian Kuhn
Distributed Computing
Springer Berlin Heidelberg
91106
10.1007/978-3-662-45174-8_7
Bernadette Charron-Bost
André Schiper
2009
The Heard-Of Model: Computing in Distributed Systems with Benign Faults
Distributed Comput.
22
1
49–71
10.1007/s00446-009-0084-6
Hans van Ditmarsch
Wiebe van der Hoek
Barteld Kooi
2008
Dynamic Epistemic Logic
Springer
10.1007/978-1-4020-5839-4
Ronald Fagin
Joseph Y. Halpern
Yoram Moses
Moshe Y. Vardi
1995
Reasoning about Knowledge
MIT Press
10.7551/mitpress/5803.001.0001
Eric Goubault
Jérémy Ledent
Sergio Rajsbaum
2018
A simplicial complex model for dynamic epistemic logic to study distributed task computability
Proceedings of the Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)
73–87
10.4204/EPTCS.277.6
Joseph Y. Halpern
Yoram Moses
1984
Knowledge and common knowledge in a distributed environment
Proceedings of the Third ACM Symposium on Principles of Distributed Computing (PODC 1984)
50–61
10.1145/79147.79161
Maurice Herlihy
Dmitry Kozlov
Sergio Rajsbaum
2014
Distributed Computing Through Combinatorial Topology
Morgan-Kaufmann
10.1016/C2011-0-07032-1
Maurice Herlihy
Nir Shavit
1993
The asynchronous computability theorem for t-resilient tasks
Proceedings of the Twenty-Fifth ACM Symposium on Theory of Computing (STOC 1993)
111–120
10.1145/167088.167125
Fabian Kuhn
Rotem Oshman
2011
Dynamic networks: models and algorithms
SIGACT News
42
1
82–96
10.1145/1959045.1959064
Yoram Moses
2016
Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle
Electronic Proceedings in Theoretical Computer Science
215
231245
10.4204/eptcs.215.17
Thomas Nowak
Ulrich Schmid
Kyrill Winkler
2019
Topological Characterization of Consensus under General Message Adversaries
Peter Robinson
Faith Ellen
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing (PODC 2019)
ACM
218–227
10.1145/3293611.3331624
Daniel Pfleger
Ulrich Schmid
2018
On knowledge and communication complexity in distributed systems
International Colloquium on Structural Information and Communication Complexity (SIROCCO 2018)
Springer
312–330
10.1007/978-3-030-01325-7_27
Michael Zacks
Fotios Zaharoglou
1993
Wait-free k-set agreement is impossible: the topology of public knowledge
Proceedings of the Twenty-Fifth ACM Symposium on Theory of Computing (STOC 1993)
101–110
10.1145/167088.167122