1. Agent-oriented Programming, Technical Report, Stanford University, 1990.
2. Viewing control structures as patterns of passing messages
3. and , “Foundations of knowledge for distributed systems,” In Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference, J. Y. Halpern (Ed.), 1986, pp. 171–185.
4. and , “Knowledge and implicit knowledge in a distributed environment: Preliminary report,” In Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference, J. Y. Halpern (Ed.), 1986, pp. 187–206.
5. and , “The logic of distributed protocols: Preliminary report,” In Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference, J. Y. Halpern (Ed.), 1986, pp. 207–222.