Duality, approximations and distances for probabilistic processes

 
 
 
Domaine(s) de recherche Mot(s)-clé(s)
    bisimulation, category theory, continuous space systems, formal methods, hybrid systems, modal logics, probabilistic processes, process algebra
Chercheur(s) actif(s)
  • Josée Desharnais, Sciences et génie, Département d'informatique et de génie logiciel, responsable du projet
Date de début : 2012-04-01
Date de fin : 2019-03-31
Dernière mise à jour : 12 mai 2017

Demande de correction   Demande de correction

www.ulaval.ca