On the Expressiveness of Coordination Models

Antonio Brogi, Jean-Marie Jacquet

A number of different coordination models for specifying inter-process communication and synchronisation rely on a notion of shared dataspace. Many of these models are extensions of the Linda coordination model, which includes operations for adding, deleting and testing the presence/absence of data in a shared dataspace.
We compare the expressive power of three classes of coordination models based on shared dataspaces. The first class relies on Linda’s communication primitives, while a second class relies on the more general notion of multi-set rewriting (e.g., like Bauhaus Linda or Gamma). Finally, we consider a third class of models featuring communication transactions that consist of sequences of Linda-like operations to be executed atomically (e.g., like in Shared Prolog or PoliS).

Coordination Languages and Models, Lecture Notes in Computer Science 1594, pp. 134-149,  1999.
Paolo Ciancarini, Alexander L. Wolf (a cura di), Springer-Verlag, London, UK.
3rd International Conference (COORDINATION'99), Amsterdam, The Netherlands, 26-28 April 1999. Proceedings

Address = {London, UK},
Author = {Brogi, Antonio and Jacquet, Jean-Marie},
Booktitle = {Coordination Languages and Models},
Doi = {10.1007/3-540-48919-3_11},
Editor = {Ciancarini, Paolo and Wolf, Alexander L.},
Isbn = {3-540-65836-X},
Issn = {0302-9743},
Note = {3rd International Conference (COORDINATION'99), Amsterdam, The Netherlands, 26--28 } # apr # { 1999. Proceedings},
Pages = {134--149},
Publisher = {Springer-Verlag},
Series = {LNCS},
Title = {On the Expressiveness of Coordination Models},
Url = {http://www.springerlink.com/content/u49h2wca30hyn4xe/},
Volume = 1594,
Year = 1999}
Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY