Modelling Knowledge and Action in Distributed Systems

• Authors:

• Joseph Y. Halpern;Ronald Fagin

• Affiliations:

• -;-

• Venue:
• Concurrency '88 Proceedings of the International Conference on Concurrency
• Year:
• 1988