Article ID Journal Published Year Pages File Type
424247 Electronic Notes in Theoretical Computer Science 2008 18 Pages PDF
Abstract

This paper introduces a service-oriented model for the development of Peer-to-Peer (P2P) systems. We first describe the set of abstract primitives supported by the model, and then the semantics for a simple calculus over these primitives that provides a solid ground to develop tools for the analysis and verification of P2P specifications.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics