Abstract
Motivated by distributed implementations of game-theoretical algorithms, we study symmetric process systems and the problem of attaining common knowledge between processes. We formalize our setting by defining a notion of peer-to-peer networks and appropriate symmetry concepts in the context of Communicating Sequential Processes (CSP) [1]. We then prove that CSP with input and output guards makes common knowledge in symmetric peer-to-peer networks possible, but not the restricted version which disallows output statements in guards and is commonly implemented. Our results extend [2].
An extended version is available at http://arxiv.org/abs/0710.2284 .
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21, 666–677 (1978)
Bougé, L.: On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes. Acta Informatica 25, 179–201 (1988)
Halpern, J.Y.: A computer scientist looks at game theory. Games and Economic Behavior 45, 114–131 (2003)
Gray, J.: Notes on Data Base Operating Systems. LNCS, vol. 60, pp. 393–481. Springer, Heidelberg (1978)
Rubinstein, A.: The electronic mail game: Strategic behavior under almost common knowledge. The American Economic Review 79, 385–391 (1989)
Morris, S.: Coordination, communication, and common knowledge: A retrospective on the electronic-mail game. Oxf Rev Econ Policy 18, 433–445 (2002)
Fagin, R., Halpern, J.Y., Vardi, M.Y., Moses, Y.: Reasoning about knowledge. MIT Press, Cambridge (1995)
Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of the ACM 37, 549–587 (1990)
Schneider, F.B.: Synchronization in distributed programs. ACM Trans. Program. Lang. Syst. 4, 125–148 (1982)
Osborne, M.J.: An Introduction to Game Theory. Oxford University Press, New York (2003)
Moulin, H.: Axioms of Cooperative Decision Making. Cambridge University Press, Cambridge (1988)
Andrews, G.R.: Concurrent Programming: Principles and Practice. Addison-Wesley, Reading (1991)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
Schneider, S.: Concurrent and Real Time Systems: The CSP Approach. John Wiley and Sons, Chichester (1999)
INMOS Ltd. occam 2 Reference Manual. Prentice-Hall (1988)
Fich, F., Ruppert, E.: Hundreds of impossibility results for distributed computing. Distributed Computing 16, 121–163 (2003)
Buckley, G.N., Silberschatz, A.: An effective implementation for the generalized input-output construct of csp. ACM Trans. Program. Lang. Syst. 5, 223–235 (1983)
Welch, P.: An occam-pi Quick Reference (1996–2007), https://www.cs.kent.ac.uk/research/groups/sys/wiki/OccamPiReference
Welch, P., Brown, N., Moores, J., Chalmers, K., Sputh, B.: Integrating and extending JCSP. In: McEwan, A.A., Schneider, S., Ifill, W., Welch, P. (eds.) Communicating Process Architectures. IOS Press, Amsterdam (2007)
Jones, G.: On guards. In: Muntean, T. (ed.) Parallel Programming of Transputer Based Machines (OUG-7), pp. 15–24. IOS Press, Amsterdam (1988)
Palamidessi, C.: Comparing the expressive power of the synchronous and asynchronous pi-calculi. Mathematical Structures in Computer Science 13, 685–719 (2003)
Parikh, R., Krasucki, P.: Communication, consensus, and knowledge. Journal of Economic Theory 52, 178–189 (1990)
Weinstein, J., Yildiz, M.: Impact of higher-order uncertainty. Games and Economic Behavior 60, 200–212 (2007)
Bernstein, A.: Output guards and nondeterminism in Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. 2, 234–238 (1980)
Kurki-Suonio, R.: Towards programming with knowledge expressions. In: 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (POPL), pp. 140–149. ACM Press, St. Petersburg Beach (1986)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Witzel, A. (2008). Symmetric and Synchronous Communication in Peer-to-Peer Networks. In: Audebaud, P., Paulin-Mohring, C. (eds) Mathematics of Program Construction. MPC 2008. Lecture Notes in Computer Science, vol 5133. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70594-9_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-70594-9_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70593-2
Online ISBN: 978-3-540-70594-9
eBook Packages: Computer ScienceComputer Science (R0)