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 metadatas

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/inria-00072722
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 10:42:14 AM
Last modification on : Wednesday, December 18, 2019 - 5:30:47 PM
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

519

Files downloads

434