Naftaly H. Minsky, Jerrold Leichter

Linda is a very high level communication model which allows processes to communicate without knowing each other's identities and without having to arrange for a definite rendezvous. This high level of abstraction would make Linda particularly suitable for use as a coordination model for open systems, if it were not for the fact that the Linda communication is very unsafe. We propose to remove this deficiency of Linda by means of the concept of law-governed architecture previously applied to centralized and message passing systems. We define a model for Law-Governed Linda (LGL) communication, and we demonstrate its efficacy by means of several illustrative examples.

Object-based Models and Languages for Concurrent Systems, Lecture Notes in Computer Science 924, pages 125-146, 1995.
Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa (eds.), Springer
Author = {Minsky, Naftaly H. and Leichter, Jerrold},
Booktitle = {Object-based Models and Languages for Concurrent Systems},
Doi = {10.1007/3-540-59450-7\_8},
Editor = {Ciancarini, Paolo and Nierstrasz, Oscar and Yonezawa, Akinori},
Isbn = {978-3-540-59450-5},
Isbn-10 = {3-540-59450-7},
Pages = {125--146},
Publisher = {Springer},
Series = {LNCS},
Title = {{L}aw-{G}overned {L}inda as a Coordination Model},
Url = {},
Volume = 924,
Year = 1995}


Publication Data

2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna