Symmetric and Synchronous Communication in Peer-to-Peer Networks

Details Symmetric and Synchronous Communication in Peer-to-Peer Networks Symmetric and Synchronous Communication in Peer-to-Peer Networks

2007-10-11

arxiv.org/abs/0710.2284v4

Computer Science

Distributed, Parallel, and Cluster Computing

polished, modernized references; incorporated referee feedback from MPC'08

Scientific paper

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), due to the common knowledge creating effects of its synchronous communication primitives. 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. (*) Please note that we are not dealing with fashionable incarnations such as file-sharing networks, but merely use this name for a mathematical notion of a network consisting of directly connected peers "treated on an equal footing", i.e. not having a client-server structure or otherwise pre-determined roles.)

Affiliated with

Also associated with

No associations

Rating

Symmetric and Synchronous Communication in Peer-to-Peer Networks does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Symmetric and Synchronous Communication in Peer-to-Peer Networks, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Symmetric and Synchronous Communication in Peer-to-Peer Networks will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-542007