1. How processes learn;Chandy;Distributed Computing,1986
2. A model-theoretic analysis of knowledge;Fagin;J. ACM,1991
3. Knowledge theoretic properties of topological spaces;Georgatos,1994
4. Reasoning about knowledge on computation trees;Georgatos,1994