A Link Between Knowledge and Communication in Faulty Distributed Systems

A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols

Journal of the ACM (JACM)

Toward sofware synthesis for distributed applications

TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge

Using counterfactuals in knowledge-based programming

TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge

Knowledge and the ordering of events in distributed systems: extended abstract

TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge

Knowledge and communication: a tutorial

TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge

Practical utility of knowledge-based analyses: optimizations and optimality for an implementation of asynchronous, fail-stop processes (extended abstract)

TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge

A note on knowledge-based programs and specifications

Distributed Computing

Using counterfactuals in knowledge-based programming

Distributed Computing