M. van Hulst, John-Jules Ch. Meyer. An Epistemic Proof System for Parallel Processes. In Ronald Fagin, editor, Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1994. pages 243-254, Morgan Kaufmann, 1994.
Abstract is missing.