Introductionmodelmodel.tex \cfchapterResponse Problems and Knowledge in Synchronous Systemscoordinationcoordination.tex \cfchapterGaining Nested Knowledgenested_knowledgenested_knowledge.tex \cfchapterGaining Common Knowledgecommon_knowledgecommon_knowledge.tex \cfchapterGaining Nested Common Knowledgeordered_groupordered_group.tex \cfchapterGeneralized Ordering of Eventsgeneralized_orderinggeneralized_ordering.tex \cfchapterGaining Knowledge of Ignoranceignoranceignorance.tex \cfchapterDiscussionconclusionsconclusions.tex


  1. H. Attiya, A. Herzberg, and S. Rajsbaum. Optimal clock synchronization under different delay assumptions. SIAM J. Comput., 25, February 1996.
  2. R. J. Aumann. Agreeing to disagree. Annals of Statistics, 4(6):1236–1239, 1976.
  3. A. Baltag, L. S. Moss, and S. Solecki. The logic of public announcements, common knowledge, and private suspicions. In Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge, TARK ’98, San Francisco, CA, USA, 1998. Morgan Kaufmann Publishers Inc.
  4. C. Baquero and F. Moura. Improving causality logging in mobile computing networks. ACM Mobile Computing and Communications Review, 2, 1998.
  5. J. Barwise. Three views of common knowledge. In M. Y. Vardi, editor, Proc. Second Conference on Theoretical Aspects of Reasoning about Knowledge, pages 365–379. Morgan Kaufmann, San Francisco, Calif., 1988.
  6. K. M. Chandy and L. Lamport. Distributed snapshots: determining global states of distributed systems. ACM Trans. on Computer Systems, 3(1):63–75, 1985.
  7. K. M. Chandy and J. Misra. How processes learn. Distributed Computing, 1(1):40–52, 1986.
  8. M. S.-Y. Chwe. Communication and coordination in social networks. Review of Economic Studies, 67(1), 2000.
  9. H. H. Clark and C. R. Marshall. Definite reference and mutual knowledge. In A. K. Joshi, B. L. Webber, and I. Sag, editors, Elements of Discourse Understanding, pages 10–63. Cambridge University Press, Cambridge, 1981.
  10. B. A. Coan, D. Dolev, C. Dwork, and L. Stockmeyer. The distributed firing squad problem. SIAM J. Comput., 18:990–1012, October 1989.
  11. J. H. Conway, M. S. Paterson, and U. S. S. R. Moscow. A headache-causing problem. In J. K. Lenstra et al., editors, Een pak met een korte broek: Papers presented to H. W. Lenstra on the occasion of the publication of his “Euclidische Getallenlichamen”. Private publication, 1977.
  12. W. Diffie and M. E. Hellman. New directions in cryptography. IEEE Transactions on Information Theory, 22(5):644–654, 1976.
  13. C. Dwork and Y. Moses. Knowledge and common knowledge in a Byzantine environment: crash failures. Information and Computation, 88(2):156–186, 1990.
  14. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Common knowledge revisited. In Y. Shoham, editor, Theoretical Aspects of Rationality and Knowledge: Proc. Sixth Conference, pages 283–298. Morgan Kaufmann, San Francisco, Calif., 1996.
  15. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, Mass., 2003.
  16. R. P. Feynman, R. B. Leighton, and M. Sands. The Feynman Lectures on Physics including Feynman’s Tips on Physics: The Definitive and Extended Edition. Addison Wesley, 2 edition, 2005.
  17. C. J. Fidge. Timestamps in message-passing systems that preserve the partial ordering. In 11th Australian Computer Science Conference, 1988.
  18. M. J. Fischer and N. Immerman. Foundations of knowledge for distributed systems. In J. Y. Halpern, editor, Theoretical Aspects of Reasoning about Knowledge: Proc. 1986 Conference, pages 171–186. Morgan Kaufmann, San Francisco, Calif., 1986.
  19. S. Goldwasser, S. Micali, and C. Rackoff. The knowledge complexity of interactive proof systems. SIAM Journal on Computing, 18(1):186–208, 1989.
  20. H. Grice. Logic and conversation. pages 41–58, 1975.
  21. V. Hadzilacos and J. Y. Halpern. Message-optimal protocols for byzantine agreement. Mathematical Systems Theory, 26(1):41–102, 1993.
  22. J. Y. Halpern, N. Megiddo, and A. A. Munshi. Optimal precision in the presence of uncertainty. In Proceedings of the seventeenth annual ACM symposium on Theory of computing, STOC ’85, New York, NY, USA, 1985. ACM.
  23. J. Y. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3):549–587, 1990. A preliminary version appeared in Proc. 3rd ACM Symposium on Principles of Distributed Computing, 1984.
  24. J. Y. Halpern, Y. Moses, and O. Waarts. A characterization of eventual byzantine agreement. SIAM J. Comput., 31(3):838–865, 2001.
  25. P. J. Krasucki and R. Ramanujam. Knowledge and the ordering of events in distributed systems (extended abstract). In In Proc. Theoretical Aspects of Reasoning About Knowledge, pages 267–283. Morgan Kaufmann, 1994.
  26. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558–565, 1978.
  27. L. Lamport. Using time instead of timeout for fault-tolerant distributed systems. ACM Trans. Program. Lang. Syst., 6(2):254–280, 1984.
  28. A. Lascarides and N. Asher. Temporal interpretation, discourse relations and commonsense entailment. Linguistics and Philosophy, 16:437–493, 1993.
  29. D. Lewis. Convention, A Philosophical Study. Harvard University Press, Cambridge, Mass., 1969.
  30. F. Mattern. Virtual time and global states of distributed systems. In C. M. et al., editor, Proc. Workshop on Parallel and Distributed Algorithms, 1989.
  31. J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In D. Michie, editor, Machine Intelligence 4, pages 463–502. Edinburgh University Press, Edinburgh, 1969.
  32. T. Mizrahi and Y. Moses. Continuous consensus via common knowledge. Distributed Computing, 20(5):305–321, 2008.
  33. F. Morton. The Rothschilds: Portrait of a Dynasty. Kodansha International, Kodansha International, 1998.
  34. Y. Moses. Knowledge and communication: a tutorial. In TARK ’92: Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge, pages 1–14, San Francisco, CA, USA, 1992. Morgan Kaufmann Publishers Inc.
  35. Y. Moses and B. Bloom. Knowledge, timed precedence and clocks. In Proc. 13th ACM Symp. on Principles of Distributed Computing, pages 294–303, 1994.
  36. Y. Moses and M. R. Tuttle. Programming simultaneous actions using common knowledge. Algorithmica, 3:121–169, 1988.
  37. G. L. Naber. The Geometry of Minkowski Spacetime: An Introduction to the Mathematics of the Special Theory of Relativity. Dover Publications, 2003.
  38. N. Neves and W. K. Fuchs. Using time to improve the performance of coordinated checkpointing. In Proceedings of the 2nd International Computer Performance and Dependability Symposium (IPDS ’96), Washington, DC, USA, 1996. IEEE Computer Society.
  39. R. Parikh. Finite and infinite dialogues. In Y. N. Moshovakis, editor, Logic from Computer Science, MSRI Publication No. 21, pages 481–497. Springer-Verlag, Berlin/New York, 1992.
  40. R. Parikh and P. Krasucki. Levels of knowledge in distributed computing. Sādhanā, 17(1):167–191, 1992.
  41. R. Parikh and R. Ramanujam. Distributed processing and the logic of knowledge. In R. Parikh, editor, Proc. Workshop on Logics of Programs, pages 256–268, 1985.
  42. R. Parikh and R. Ramanujam. A knowledge based semantics of messages. Journal of Logic, Language and Information, 12(4):453–467, 2003.
  43. B. Patt-Shamir and S. Rajsbaum. A theory of clock synchronization (extended abstract). In STOC ’94: Proceedings of the twenty-sixth annual ACM symposium on Theory of computing, pages 810–819, New York, NY, USA, 1994. ACM.
  44. J. Pearl. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, San Francisco, Calif., 1988.
  45. R. Prakash and R. Baldoni. Causality and the spatial-temporal ordering in mobile systems. Mobile Networks and Applications, 9, October 2004.
  46. M. O. Rabin. How to exchange secrets with oblivious transfer. Cryptology ePrint Archive, Report 2005/187, 2005. Originally written in 1981.
  47. A. Rubinstein. The electronic mail game: Strategic behavior under “almost common knowledge”. American Economic Review, 79(3):385–91, 1989.
  48. R. Schwarz and F. Mattern. Detecting causal relationships in distributed computations: In search of the holy grail. In In search of the holy grail. Distributed Computing, 1994.
  49. R. Stalnaker. Knowledge, belief and counterfactual reasoning in games. Economics and Philosophy, 12(02):133–163, 1996.
  50. H. van Ditmarsch, W. van der Hoek, and B. Kooi. Dynamic Epistemic Logic. Springer Publishing Company, Incorporated, 2007.
  51. J. Williamson. Causality. In D. M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic,, Vol. XIV. Springer-Verlag, Berlin/New York, 2007.
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
The feedback must be of minumum 40 characters
Add comment
Loading ...
This is a comment super asjknd jkasnjk adsnkj
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test description