Components as Location Graphs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

Components as Location Graphs


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.
Fichier principal
Vignette du fichier
ComponentsLocationGraphs.pdf (382.95 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01094208 , version 1 (11-12-2014)


  • HAL Id : hal-01094208 , version 1


Jean-Bernard Stefani. Components as Location Graphs. 11th International Symposium on Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy. ⟨hal-01094208⟩
192 View
341 Download


Gmail Facebook X LinkedIn More