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...