A process algebraic view of shared dataspace coordination

Coordination languages were introduced in the early 80's 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. Key words: process calculi, coordination models and languages, tuple spaces, event notification,...

• Type: Journal
• Year: 2008
• Where: JLP
• Authors: Nadia Busi, Gianluigi Zavattaro
• Keywords: Coordination Languages, Coordination Models, JLP 2006, JLP 2008, Process Calculi