Components as Location Graphs
Résumé
This paper presents a process calculus framework for modeling ubiquitous computing systems and dynamic component-based structures as location graphs. A key aspect of the framework is its ability to model nested locations with sharing, while allowing the dynamic re-configuration of the location graph, and the dynamic update of located processes.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...