A Process Algebraic View of Shared Dataspace Coordination
Nadia Busi, Gianluigi Zavattaro
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.
Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon (eds.), Elsevier Science B.V.
Special Issue "Algebraic Process Calculi. The First Twenty Five Years and Beyond. III"
@article{processalgebradataspace-jlap75,
Author = {Busi, Nadia and Zavattaro, Gianluigi},
Doi = {10.1016/j.jlap.2007.06.003},
Editor = {Aceto, Luca and Bravetti, Mario and Fokkink, Wan and Gordon, Andrew D.},
Issn = {1567-8326},
Journal = {Journal of Logic and Algebraic Programming},
Keywords = {Process calculi; Coordination models and languages; Tuple spaces; Event notification; Transactions},
Month = feb # {--} # mar,
Note = {Special Issue: Algebraic Process Calculi. The First Twenty Five Years and Beyond. III"},
Number = 1,
Pages = {52--85},
Publisher = {Elsevier Science B.V.},
Title = {A Process Algebraic View of Shared Dataspace Coordination},
Volume = 75,
Year = 2008}