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.
Type de document :
Rapport
[Rapport de recherche] RR-3930, INRIA. 2000, pp.73
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00072722
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 10:42:14
Dernière modification le : samedi 27 janvier 2018 - 01:30:56
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:02:42

Fichiers

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

500

Téléchargements de fichiers

374