Le moteur de recherche
des thèses françaises
Gérard Roucairol
IdRefMots clés
FR
Réseaux de Petri
Parallélisme (informatique)
Automates
Spécification formelle
Type abstrait algébrique
Algorithmes
Complexité
Systèmes de réécriture (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