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. © 2008 Springer-Verlag.
CITATION STYLE
Witzel, A. (2008). Symmetric and synchronous communication in peer-to-peer networks. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5133 LNCS, pp. 404–421). https://doi.org/10.1007/978-3-540-70594-9_21
Mendeley helps you to discover research relevant for your work.