On Distributed Density in Tuple-based Coordination Languages

Denis Darquennes
(Mr)
Jean-Marie Jacquet
(Dr)
Isabelle Linden
(Dr)

Inspired by the chemical metaphor, this paper proposes an extension of Linda-like languages in the aim of modeling the coordination of complex distributed systems. The new language manipulates finite sets of tuples and distributes a density among them. This new concept adds to the non-determinism inherent in the selection of matched tuples a non-determinism to the tell, ask and get primitives on the consideration of different tuples. Furthermore, thanks to de Boer and Palamidessi's notion of modular embedding, we establish that this new language strictly increases the expressiveness of the Dense Bach language introduced earlier and, consequently, Linda-like languages.

In Javier Cámara and José Proença: Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2014), Rome, Italy, 6th September 2014, Electronic Proceedings in Theoretical Computer Science 175, pp. 36–53.
Published: 11th February 2015.

ArXived at: http://dx.doi.org/10.4204/EPTCS.175.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org