Formalizing peer-to-peer systems based on Content Addressable Network
Peer-to-peer systems are preferred to the centralized systems because their architecture facilitates fault tolerance, availability, scalability and performance. In this paper we present a formal description of the peer-to-peer system implemented with Content Addressable Network architecture. We describe this system using a variant of the distributed pi-calculus called P2P pi-calculus. We define a new bisimulation for well-located systems called go-bisimulation and give few related results.
peer-to-peer system content addressable network bisimulation process algebra