Learn More
The 'predicated' forms of the LINDA in and rd primitives have given problems for both kernel implementors and LINDA formalists. This paper firstly analyses these problems and then proposes a precise semantics for inp which is both reasonable, in that it does not admit unexpected or useless implementations, and implementable for open distributed tuple-space(More)
Private and secure communications can be vital for certain applications, for example secure bidding, e-commerce, and online bank transactions. However, it is impossible to carry out private conversations in the open tuple-space model, despite it being a popular coordination model for distributed, heterogeneous systems, where agents can communicate via a(More)
  • 1