A Service-Oriented Model for Embedded Peer-to-Peer Systems

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.

DOI: 10.1016/j.entcs.2008.03.096

Extracted Key Phrases

2 Figures and Tables

Cite this paper

@article{Brogi2008ASM, title={A Service-Oriented Model for Embedded Peer-to-Peer Systems}, author={Antonio Brogi and Razvan Popescu and Francisco Guti{\'e}rrez and Pablo L{\'o}pez and Ernesto Pimentel}, journal={Electr. Notes Theor. Comput. Sci.}, year={2008}, volume={194}, pages={5-22} }