Equipe de recherche MIMOSA

Migration et mobilité : sémantique et applications

Centre de recherche: 

INRIA Sophia Antipolis – Méditerranée

Présentation: 

L’objectif général de l’équipe-projet MIMOSA est de concevoir et d’étudier des modèles de la programmation concurrente, distribuée et mobile, d’en tirer des primitives pour cette programmation, et d’élaborer des techniques de raisonnement et de vérification formelles, visant en particulier les questions de sécurité issues du code mobile. Nous développons en particulier une approche réactive de la programmation concurrente, où les processus réagissent de concert à des évènements diffusés. Nous avons implanté les primitives de la programmation réactive dans divers langages, et nous avons intégré les primitives de migration dans la programmation réactive. Dans le passé nous avons étudié les modèles du code mobile, comme le π-calcul et ses variantes distribuées, et le calcul des Mobile Ambients.

Réalisations(Applications, Logiciels, Projets, Prestations de conseil)
=> A compléter.

Ressources produites (Brevets, Thèses, Articles…)

 

=> Connectez vous pour avoir accès aux contacts de personnes qui travaillent au sein de MIMOSA.

 

Mots-clés





 

 
Taux de remplissage de la fiche : 41%

 

Last updated date

23/09/2010 – 17:19