A computational theory of awareness and decision making
Knowledge and common knowledge in a distributed environment