BibTeX
@MISC{Schmitt01safedynamic,
author = {Alan Schmitt},
title = {Safe Dynamic Binding in the Join Calculus},
year = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper presents an extension of the distributed Join Calculus with location dependent resources. New names and new implementations for existing names may be created at run time; resource names are bound to local implementations during migration. A sound type system is introduced to guarantee the availability of every resource that is used.
Citations
No citations identified.
