A Service-Oriented Model for Embedded Peer-to-Peer Systems
Antonio Brogi, Razvan Andrei Popescu, Francisco Gutiérrez, Pablo López, Ernesto Pimentel · Electronic Notes in Theoretical Computer Science · 2008
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.