Components as Location Graphs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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.
Fichier principal
Vignette du fichier
ComponentsLocationGraphs.pdf (382.95 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01094208 , version 1

Citer

Jean-Bernard Stefani. Components as Location Graphs. 11th International Symposium on Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy. ⟨hal-01094208⟩
195 Consultations
350 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More