Multiagent Systems: Milestones and New Horizons
Knowledge and common knowledge in a distributed environment