Components as Location Graphs

Abstract : 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.
Type de document :
Communication dans un congrès
11th International Symposium on Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy. Lecture Notes in Computer Science, 8997, Lecture Notes in Computer Science
Liste complète des métadonnées


https://hal.inria.fr/hal-01094208
Contributeur : Jean-Bernard Stefani <>
Soumis le : jeudi 11 décembre 2014 - 18:29:21
Dernière modification le : mardi 13 décembre 2016 - 15:43:28
Document(s) archivé(s) le : samedi 15 avril 2017 - 08:12:49

Fichier

ComponentsLocationGraphs.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01094208, version 1

Collections

Citation

Jean-Bernard Stefani. Components as Location Graphs. 11th International Symposium on Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy. Lecture Notes in Computer Science, 8997, Lecture Notes in Computer Science. <hal-01094208>

Partager

Métriques

Consultations de
la notice

108

Téléchargements du document

166