@article(AttiyaR2002,
 author       = {H.~Attiya and S.~Rajsbaum},
 year         = {2002},
 title        = {The Combinatorial Structure of Wait-Free Solvable Tasks},
 journal      = {SIAM J. Comput.},
 volume       = {31},
 number       = {4},
 pages        = {1286--1313},
 doi          = {10.1137/S0097539797330689},
)
@book(2004dcAW,
 author       = {H.~Attiya and J.~Welch},
 year         = {2004},
 title        = {Distributed Computing: Fundamentals, Simulations, and Advanced Topics},
 edition      = {2},
 publisher    = {Wiley},
 doi          = {10.1002/0471478210},
)
@inproceedings(baltagMS:98,
 author       = {A.~Baltag and L.S. Moss and S.~Solecki},
 year         = {1998},
 title        = {The logic of common knowledge, public announcements, and private suspicions},
 booktitle    = {TARK VII},
 pages        = {43--56},
 doi          = {10.1007/978-3-319-20451-2_38},
)
@incollection(sep-dynamic-epistemic,
 author       = {A.~Baltag and B.~Renne},
 year         = {2016},
 title        = {Dynamic Epistemic Logic},
 booktitle    = {The Stanford Encyclopedia of Philosophy, see {\url{https://plato.stanford.edu/archives/win2016/entries/dynamic-epistemic/}}},
 publisher    = {Metaphysics Research Lab, Stanford University},
)
@article(BenavidesR2018,
 author       = {F.~Benavides and S.~Rajsbaum},
 year         = {2018},
 title        = {Collapsibility of read/write models using discrete morse theory},
 journal      = {Journal of Applied and Computational Topology},
 pages        = {1--32},
 doi          = {10.1007/s41468-018-0011-7},
)
@article(BiranMZ90,
 author       = {O.~Biran and S.~Moran and S.~Zaks},
 year         = {1990},
 title        = {{A Combinatorial Characterization of the Distributed 1-Solvable Tasks}},
 journal      = {J. Algorithms},
 volume       = {11},
 number       = {3},
 pages        = {420--440},
 doi          = {10.1016/0196-6774(90)90020-F},
)
@inproceedings(CastanedaGM:2016,
 author       = {A.~Casta\~{n}eda and Y.~A. Gonczarowski and Y.~Moses},
 year         = {2016},
 title        = {Unbeatable Set Consensus via Topological and Combinatorial Reasoning},
 booktitle    = {PODC},
 publisher    = {ACM},
 pages        = {107--116},
 doi          = {10.1145/2933057.2933120},
)
@inproceedings(CastanedaGM:2014,
 author       = {A.~Casta{\~{n}}eda and Y.~A. Gonczarowski and Y.~Moses},
 year         = {2014},
 title        = {Unbeatable Consensus},
 booktitle    = {DISC},
 series       = {LNCS},
 volume       = {8784},
 publisher    = {Springer},
 pages        = {91--106},
 doi          = {10.1007/978-3-662-45174-8_7},
)
@inproceedings(Degremont2011,
 author       = {C.~D{\'e}gremont and B.~L\"{o}we and A.~Witzel},
 year         = {2011},
 title        = {The Synchronicity of Dynamic Epistemic Logic},
 booktitle    = {TARK XIII},
 publisher    = {ACM},
 pages        = {145--152},
 doi          = {10.1145/2000378.2000395},
)
@book(DEL:2007,
 author       = {H.~van Ditmarsch and W.~van~der Hoek and B.~Kooi},
 year         = {2007},
 title        = {Dynamic Epistemic Logic},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4020-5839-4},
)
@article(FischerLP85,
 author       = {M.~Fischer and N.~A. Lynch and M.~S. Paterson},
 year         = {1985},
 title        = {{Impossibility Of Distributed Commit With One Faulty Process}},
 journal      = {Journal of the ACM},
 volume       = {32},
 number       = {2},
 pages        = {374--382},
 doi          = {10.1145/3149.214121},
)
@article(GKdec1999,
 author       = {E.~Gafni and E.~Koutsoupias},
 year         = {1999},
 title        = {Three-Processor Tasks Are Undecidable},
 journal      = {SIAM J. Comput.},
 volume       = {28},
 number       = {3},
 pages        = {970--983},
 doi          = {10.1137/S0097539796305766},
)
@techreport(ericSergioDEL1-2017,
 author       = {E.~Goubault and S.~Rajsbaum},
 year         = {2017},
 title        = {{A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing}},
 type         = {Technical Report},
 institution  = {arXiv:1703.11005},
)
@techreport(ericSergioDEL2-2017,
 author       = {E.~Goubault and S.~Rajsbaum},
 year         = {2017},
 title        = {{Models of fault-tolerant distributed computation via dynamic epistemic logic}},
 type         = {Technical Report},
 institution  = {arXiv:1704.07883},
)
@article(Havlicek2000,
 author       = {J.~Havlicek},
 year         = {2000},
 title        = {Computable obstructions to wait-free computability},
 journal      = {Distributed Computing},
 volume       = {13},
 number       = {2},
 pages        = {59--83},
 doi          = {10.1007/s004460050068},
)
@book(HerlihyKR:2013,
 author       = {M.~Herlihy and D.~Kozlov and S.~Rajsbaum},
 year         = {2013},
 title        = {Distributed Computing Through Combinatorial Topology},
 publisher    = {Elsevier-Morgan Kaufmann},
 doi          = {10.1016/C2011-0-07032-1},
)
@inproceedings(HRdec1997,
 author       = {M.~Herlihy and S.~Rajsbaum},
 year         = {1997},
 title        = {The Decidability of Distributed Decision Tasks},
 booktitle    = {STOC},
 publisher    = {ACM},
 pages        = {589--598},
 doi          = {10.1145/258533.258652},
)
@inproceedings(HerlihyR12,
 author       = {M.~Herlihy and S.~Rajsbaum},
 year         = {2012},
 title        = {Simulations and reductions for colorless tasks},
 booktitle    = {PODC},
 publisher    = {ACM},
 pages        = {253--260},
 doi          = {10.1145/2332432.2332483},
)
@inproceedings(Herlihy:waitFree1988,
 author       = {M.~P. Herlihy},
 year         = {1988},
 title        = {Impossibility and Universality Results for Wait-free Synchronization},
 booktitle    = {PODC},
 publisher    = {ACM},
 pages        = {276--290},
 doi          = {10.1145/62546.62593},
)
@inproceedings(Hirai,
 author       = {Y.~Hirai},
 year         = {2010},
 title        = {An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory},
 booktitle    = {LPAR},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {272--289},
)
@article(knightMS2017,
 author       = {S.~Knight and B.~Maubert and F.~Schwarzentruber},
 year         = {2017},
 title        = {Reasoning about knowledge and messages in asynchronous multi-agent systems},
 journal      = {Mathematical Structures in Computer Science},
 pages        = {1--42},
 doi          = {10.1017/S0960129517000214},
)
@book(kozlov:2007,
 author       = {D.~Kozlov},
 year         = {2007},
 title        = {Combinatorial Algebraic Topology},
 publisher    = {Springer},
 doi          = {10.1007/978-3-540-71962-5},
)
@article(kozlov2012,
 author       = {D.~N. Kozlov},
 year         = {2012},
 title        = {Chromatic subdivision of a simplicial complex},
 journal      = {Homology Homotopy Appl.},
 volume       = {14},
 number       = {2},
 pages        = {197--209},
 doi          = {10.4310/HHA.2012.v14.n2.a12},
)
@inproceedings(MosesPreC15,
 author       = {Yoram Moses},
 year         = {2015},
 title        = {Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle},
 booktitle    = {TARK},
 publisher    = {EPTCS},
 pages        = {231--245},
 doi          = {10.4204/EPTCS.215.17},
)
@article(PORTER2004235,
 author       = {T.~Porter},
 year         = {2004},
 title        = {Interpreted systems and Kripke models for multiagent systems from a categorical perspective},
 journal      = {Theoretical Computer Science},
 volume       = {323},
 number       = {1},
 pages        = {235 -- 266},
 doi          = {10.1016/j.tcs.2004.04.005},
)
@book(FHMVbook,
 author       = {Y.~Moses R.~Fagin, J.~Halpern and M.~Vardi},
 year         = {1995},
 title        = {Reasoning About Knowledge},
 publisher    = {MIT Press},
)
@inproceedings(iterated2010,
 author       = {S.~Rajsbaum},
 year         = {2010},
 title        = {Iterated Shared Memory Models},
 booktitle    = {LATIN},
 series       = {LNCS},
 volume       = {6034},
 publisher    = {Springer},
 pages        = {407--416},
 doi          = {10.1007/978-3-642-12200-2_36},
)