Vérification Statique de Programmes Répartis

Généralités Les configurations La réduction concurrente des configurations Discussion Les erreurs Un exemple de typage Correction du système de type Conclusion Correction du typage Le langage Func 2