Safe Dynamic Binding in the Join Calculus
| Author(s) : | Alan Schmitt, |
| Publisher : | N/A |
| Publication Date : | 2002 |
| ISSN : | N/A |
| Abstract : | This paper presents an extension of the distributed Join Calculus with messages dynamically bound to denitions according to their location. New dynamic channels and new denitions for dynamic channels may be created at runtime. A dynamic message is rebound when the location containing the message migrates. A sound type system is introduced to guarantee that every dynamic message is bound to a denition. 1, |