The Logic of Distributed Protocols

Richard E. Ladner, John H. Reif. The Logic of Distributed Protocols. In Joseph Y. Halpern, editor, Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986. pages 207-222, Morgan Kaufmann, 1986.


No references recorded for this publication.

Cited by

No citations of this publication recorded.