1. Dynamic epistemic logic;Baltag,2016
2. Dynamic Epistemic Logic;van Ditmarsch,2007
3. The logic of common knowledge, public announcements, and private suspicions;Baltag,1998
4. Distributed Computing: Fundamentals, Simulations, and Advanced Topics;Attiya,2004
5. Distributed Computing Through Combinatorial Topology;Herlihy,2013