A Process Algebraic View of Shared Dataspace Coordination
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using the Web Browser
-
- Other Formats (2)
-
-
Export as HyperText Markup Language (HTML)
-
Nadia Busi, Gianluigi Zavattaro
Journal of Logic and Algebraic Programming 75(1), pages 52-85
February-March 2008
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 |
Special Issue "Algebraic Process Calculi. The First Twenty Five Years and Beyond. III"
Publications / Personal
Publications / Views
Home
— clouds
tags | authors | editors | journals
— per year
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014–1927
— per sort
in journal | in proc | chapters | books | edited | spec issues | editorials | tech reps | phd th | others
— per status
online | in press | proof | camera-ready | revised | accepted | revision | submitted | draft | note
— services
ACM Digital Library | DBLP | IEEE Xplore | IRIS | PubMed | Google Scholar | Scopus | Semantic Scholar | Web of Science | DOI
Publication
— authors
Nadia Busi, Gianluigi Zavattaro
— editors
Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon
— status
published
— sort
article in journal
— publication date
February-March 2008
— journal
Journal of Logic and Algebraic Programming
— volume
75
— issue
1
— pages
52-85
identifiers
— DOI
— print ISSN
1567-8326
notes
— note
Special Issue "Algebraic Process Calculi. The First Twenty Five Years and Beyond. III"