ResearchIndex Home R. D. Nicola, G. Ferrari, and R. Pugliese. The join calculus has been introduced to impose locality on definitions of channels inside the syntax of terms. Our caveat is that the syntax is enough, and that we can speak of locality in an untyped world. All of these calculi adopt a higher level view than Seal, allowing direct communication with remote processes. The recent attempts to characterize mobile computation are based on an approach to attach the notion of location to a computation model.
Many models adopt hierarchical, tree like structures to represent locations of code and data.
A significant difference from our ambients is that movement may happen directly from any active location to any other known location. As in distributed versions of Linda, LLinda has multiple distributed tuple spaces. Lecture Notes in Computer Science 1214, 712-726, Springer Verlag. As in distributed versions of Linda, LLinda has multiple distributed tuple spaces, each with its local synchronization manager. Lecture Notes in Computer Science 1214, 712-726, Springer Verlag.