Omar I. Al-Bataineh, Ron van der Meyden. Abstraction for epistemic model checking of dining cryptographers-based protocols. In Krzysztof R. Apt, editor, Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011. pages 247-256, ACM, 2011. [doi]
Abstract is missing.