Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
424247 | Electronic Notes in Theoretical Computer Science | 2008 | 18 Pages |
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