Gérard Roucairol
IdRefMots clés
FR
Petri, Réseaux de
Parallélisme (informatique)
Complexité
Algorithmes
Automates
Spécification formelle
Type abstrait algébrique
Informatique théorique
Algorithme
Système réparti
Algorithme réparti
Algorithme distribué
Point fixe
Plus court chemin
Arbre courant minimal
Énumération implicite
Processus communicants
Algorithmes parallèles
Sérialisabilité
Systèmes informatiques parallèles