P2P Behavior Description with p-Calculus
Services Computing Conference（2010）
摘要
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.
更多查看译文
关键词
p2p service,important tool,accurate behavior description,quality of service,behavior analysis,qos guarantee,p2p behavior modeling,p2p behavior description,network service,computer network management,high qos guarantee,internet service,network service modeling,network service management,internet,p2p system,pi calculus,peer-to-peer computing,exact service,process algebra,π-calculus,algebra,p2p,calculus,servers,behavior modeling,π calculus
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要