Romain Demangeon (ENS Lyon)

Terminaison dans un langage concurrent impur

Résumé: "Un langage concurrent impur combine des constructions fonctionnelles explicites et des constructions impératives (communications standard). Il est possible de prouver la terminaison d'un tel système en utilisant une méthode qui combine des approches algébriques (mesures) avec des approches logiques (réalisabilité)."