@inproceedings(baltag-lawrence-slawomir-98,
 author       = {Alexandru Baltag and Lawrence S. Moss and Slawomir Solecki},
 year         = {1998},
 title        = {The logic of public announcements, common knowledge, and private suspicions},
 booktitle    = {Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998)},
 pages        = {43--56},
 url          = {http://dl.acm.org/citation.cfm?id=645876.671885},
)
@article(bjorndahl-nalls-2021,
 author       = {Adam Bjorndahl and Will Nalls},
 year         = {2021},
 title        = {Endogenizing Epistemic Actions},
 journal      = {Studia Logica},
 doi          = {10.1007/s11225-020-09937-8},
)
@inproceedings(borowsky-gafni-93,
 author       = {Elizabeth Borowsky and Eli Gafni},
 year         = {1993},
 title        = {Generalized {FLP} impossibility result for $t$-resilient asynchronous computations},
 booktitle    = {Proceedings of the Twenty-Fifth ACM Symposium on Theory of Computing (STOC 1993)},
 pages        = {91--100},
 doi          = {10.1145/167088.167119},
)
@inproceedings(borowsky-gafni-93-2,
 author       = {Elizabeth Borowsky and Eli Gafni},
 year         = {1993},
 title        = {Immediate atomic snapshots and fast renaming (extended abstract)},
 booktitle    = {Proceedings of the Twelth Annual {ACM} Symposium on Principles of Distributed Computing (PODC 1993)},
 pages        = {41--51},
 doi          = {10.1145/164051.164056},
)
@inproceedings(borowsky-1997,
 author       = {Elizabeth Borowsky and Eli Gafni},
 year         = {1997},
 title        = {A simple algorithmically reasoned characterization of wait-free computation (extended abstract)},
 booktitle    = {Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing (PODC 1997)},
 publisher    = {ACM},
 pages        = {189--198},
 doi          = {10.1145/259380.259439},
)
@inproceedings(castaneda-gonczarowski-moses-2014,
 author       = {Casta\IeC{\~n}eda, Armando and Yannai A. Gonczarowski and Yoram Moses},
 year         = {2014},
 title        = {Unbeatable Consensus},
 editor       = {Fabian Kuhn},
 booktitle    = {Distributed Computing},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {91\IeC{\textendash}106},
 doi          = {10.1007/978-3-662-45174-8\_7},
)
@article(charron-bost-schiper09,
 author       = {Charron{-}Bost, Bernadette and Andr{\'{e}} Schiper},
 year         = {2009},
 title        = {The Heard-Of Model: Computing in Distributed Systems with Benign Faults},
 journal      = {Distributed Comput.},
 volume       = {22},
 number       = {1},
 pages        = {49--71},
 doi          = {10.1007/s00446-009-0084-6},
)
@book(van-ditmarsch-van-der-hoek-kooi-08,
 author       = {Hans van Ditmarsch and Wiebe van der Hoek and Barteld Kooi},
 year         = {2008},
 title        = {Dynamic Epistemic Logic},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4020-5839-4},
)
@book(fagin-halpern-moses-vardi-95,
 author       = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi},
 year         = {1995},
 title        = {Reasoning about Knowledge},
 publisher    = {MIT Press},
 doi          = {10.7551/mitpress/5803.001.0001},
)
@inproceedings(goubault-ledent-rajsbaum-18,
 author       = {Eric Goubault and J\'er\'emy Ledent and Sergio Rajsbaum},
 year         = {2018},
 title        = {A simplicial complex model for dynamic epistemic logic to study distributed task computability},
 booktitle    = {Proceedings of the Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)},
 pages        = {73--87},
 doi          = {10.4204/EPTCS.277.6},
)
@inproceedings(halpern-moses-84,
 author       = {Joseph Y. Halpern and Yoram Moses},
 year         = {1984},
 title        = {Knowledge and common knowledge in a distributed environment},
 booktitle    = {Proceedings of the Third ACM Symposium on Principles of Distributed Computing (PODC 1984)},
 pages        = {50--61},
 doi          = {10.1145/79147.79161},
)
@book(herlihy-kozlov-rajsbaum-14,
 author       = {Maurice Herlihy and Dmitry Kozlov and Sergio Rajsbaum},
 year         = {2014},
 title        = {Distributed Computing Through Combinatorial Topology},
 publisher    = {Morgan-Kaufmann},
 doi          = {10.1016/C2011-0-07032-1},
)
@inproceedings(herlihy-shavit-93,
 author       = {Maurice Herlihy and Nir Shavit},
 year         = {1993},
 title        = {The asynchronous computability theorem for $t$-resilient tasks},
 booktitle    = {Proceedings of the Twenty-Fifth ACM Symposium on Theory of Computing (STOC 1993)},
 pages        = {111--120},
 doi          = {10.1145/167088.167125},
)
@article(kuhn-oshman-11,
 author       = {Fabian Kuhn and Rotem Oshman},
 year         = {2011},
 title        = {Dynamic networks: models and algorithms},
 journal      = {{SIGACT} News},
 volume       = {42},
 number       = {1},
 pages        = {82--96},
 doi          = {10.1145/1959045.1959064},
)
@article(moses-2016,
 author       = {Yoram Moses},
 year         = {2016},
 title        = {Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {215},
 pages        = {231\IeC{\textendash}245},
 doi          = {10.4204/eptcs.215.17},
)
@inproceedings(nowak-schmid-winkler-19,
 author       = {Thomas Nowak and Ulrich Schmid and Kyrill Winkler},
 year         = {2019},
 title        = {Topological Characterization of Consensus under General Message Adversaries},
 editor       = {Peter Robinson and Faith Ellen},
 booktitle    = {Proceedings of the 2019 {ACM} Symposium on Principles of Distributed Computing (PODC 2019)},
 publisher    = {ACM},
 pages        = {218--227},
 doi          = {10.1145/3293611.3331624},
)
@inproceedings(pfleger-schmid-18,
 author       = {Daniel Pfleger and Ulrich Schmid},
 year         = {2018},
 title        = {On knowledge and communication complexity in distributed systems},
 booktitle    = {International Colloquium on Structural Information and Communication Complexity (SIROCCO 2018)},
 organization = {Springer},
 pages        = {312--330},
 doi          = {10.1007/978-3-030-01325-7\_27},
)
@inproceedings(saks-zaharoglou-93,
 author       = {Michael Zacks and Fotios Zaharoglou},
 year         = {1993},
 title        = {Wait-free $k$-set agreement is impossible: the topology of public knowledge},
 booktitle    = {Proceedings of the Twenty-Fifth ACM Symposium on Theory of Computing (STOC 1993)},
 pages        = {101--110},
 doi          = {10.1145/167088.167122},
)