P2P behavior description with π-calculus

Behavior analysis and modeling of network services is an important tool in helping to successfully manage network services. In this paper, we propose the methods to depict the behavior of P2P service. With the accurate behavior description, we can gain the exact service with high QoS guarantee. Using this algebra, designers can prove key aspects about the behavior of a proposed set of Internet services. We used the process algebra to design a P2P system and verify the QOS of the system we built. © 2010 IEEE.