Gérard Roucairol
IdRefMots clés
FR
Petri, Réseaux de
Parallélisme (informatique)
Automates
Spécification formelle
Type abstrait algébrique
Algorithmes
Complexité
Réécriture, Systèmes de (informatique)
Monoïdes
Commutation (électricité)
Systèmes parallèles
Réseau de Pétri
Réseau à files structuré
Arbre de couverture
Systèmes informatiques
Décidabilité (logique mathématique)
Invariants
Transactions itérées
Contrôle de sérialisation
Systèmes transactionnels