کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
424247 685369 2008 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A Service-Oriented Model for Embedded Peer-to-Peer Systems
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
A Service-Oriented Model for Embedded Peer-to-Peer Systems
چکیده انگلیسی

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 194, Issue 4, 12 April 2008, Pages 5-22