Vérification et Types

• Un système de types est une méthode (simple) de détection des erreurs de programmation, utilisation pour des optimisations sûres, pour raisonner sur les programmes, …

• Types = contrat entre un processus et son environnement. Ils peuvent également être utilisé pour raisonner sur les processus → bisimulations typée