Wojciech Penczek. Efficient Model Checking of Causal-Knowledge Protocols. In Barbara Dunin-Keplicz, Edward Nawarecki, editors, From Theory to Practice in Multi-Agent Systems, Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26-29, 2001, Revised Papers. Volume 2296 of Lecture Notes in Computer Science, pages 242-252, Springer, 2001. [doi]
Abstract is missing.