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.

(keywords) Process calculi; Coordination models and languages; Tuple spaces; Event notification; Transactions
Journal of Logic and Algebraic Programming 75(1), pp. 52-85, February-March 2008.
Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon (a cura di), 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}

    

Pubblicazione

— autori/autrici

Nadia Busi, Gianluigi Zavattaro

— a cura di

Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon

— stato

pubblicato

— tipo

articolo su rivista

Sede di pubblicazione

— rivista

Journal of Logic and Algebraic Programming

— volume/numero

75 (1)

— data di pubblicazione

February-March 2008

— pagine

52-85

URL & ID

— DOI

10.1016/j.jlap.2007.06.003

— print ISSN

1567-8326

BibTeX

— BibTeX ID
processalgebradataspace-jlap75
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY