کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
432331 1441283 2008 34 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A process algebraic view of shared dataspace coordination
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
A process algebraic view of shared dataspace coordination
چکیده انگلیسی

Coordination languages were introduced in the early 1980s as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras have been successfully exploited for the formal definition of the semantics of these languages and as a framework for the comparison of their expressive power. We provide an incremental and uniform presentation of a collection of process calculi featuring coordination primitives for the shared dataspace coordination model (inspired by Linda, JavaSpaces, TSpaces, and the like). On the one hand, the incremental presentation of the various calculi permits to reason about specific linguistic constructs of coordination languages. On the other hand, the uniform presentation of a family of related calculi allows us to obtain an overview of the main results achieved in the literature on different (and unrelated) calculi.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: The Journal of Logic and Algebraic Programming - Volume 75, Issue 1, February–March 2008, Pages 52-85