HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Analyse des langages et modèles de la mobilité

Gérard Boudol 1 Florence Germain 2 Marc Lacoste 2
1 MIMOSA - Migration and mobility : semantics and applications
CRISAM - Inria Sophia Antipolis - Méditerranée , Université de Provence - Aix-Marseille 1, MINES ParisTech - École nationale supérieure des mines de Paris
Résumé : Ce document présente une analyse comparative de divers langages prototypes et modèles formels existants pour la mobilité de code. Trois aspects sont retenus pour cette étude: la distribution, la mobilité, et la sécurité. L'étude est également structurée autour de la notion de domaine qui nous semble centrale dans ces langages et modèles, et illustre différentes sémantiques de cette notion.
Document type :
Reports
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/inria-00072722
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 10:42:14 AM
Last modification on : Friday, February 4, 2022 - 3:12:09 AM
Long-term archiving on: : Sunday, April 4, 2010 - 9:02:42 PM

Identifiers

  • HAL Id : inria-00072722, version 1

Citation

Gérard Boudol, Florence Germain, Marc Lacoste. Analyse des langages et modèles de la mobilité. [Rapport de recherche] RR-3930, INRIA. 2000, pp.73. ⟨inria-00072722⟩

Share

Metrics

Record views

253

Files downloads

260