APICe » Publications » On the Expressiveness of Coordination Models

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, pages 134-149, 1999.
Paolo Ciancarini, Alexander L. Wolf (eds.), Springer-Verlag, London, UK
3rd International Conference (COORDINATION'99), Amsterdam, The Netherlands, 26-28 April 1999. Proceedings
@inproceedings{expressiveness-coord99,
	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}