Using knowledge to optimally achieve coordination is distributed systems

The possibility and the complexity of achieving fault-tolerant coordination

PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing

Simulating synchronized clocks and common knowledge in distributed systems

Journal of the ACM (JACM)

Knowledge-oriented programming

PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing

Knowledge-based programs

Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing

Toward sofware synthesis for distributed applications

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

Knowledge and the logic of local propositions

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

Implementing knowledge-based programs

TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge

Knowledge and communication: a tutorial

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

Knowledge-based programs

Distributed Computing