État actuel

• Systèmes de types avec groupes.

  • « mobility types », analyse de flots, …

• Une logique modale pour les Ambients

  • analyse par modèle, axiomatisation, langage de requêtes, …

• Un langage de programmation pour les réseaux

  • quels sont les bonnes primitives de communication pour les « interactions distantes ? »