Conclusion

• Proposition: Il y a beaucoup a gagné en expérimentant avec les calculs « nominaux » qui modélise la sémantique des systèmes mobile.

• Vérification: beaucoup de recherches sur les systèmes de types (avec une application à la définition de langage de programmation.) Utilisation de l’équivalence comportementale pour définir (et prouver) des propriétés de sécurité : le spi-calcul.

• Groupe: une formalisation des notions de nom (pur) et de création/restriction de nos au niveau des types.