Le moteur de recherche
des thèses françaises
Denis Poitrenaud
IdRefMots clés
FR |
EN
Model-checking
Parallélisme (informatique)
Réseaux de Petri
Compilation (informatique)
Symétrie
Pomset
Satisfiabilité
Traces
Traitement réparti
Ensembles partiellement ordonnés
Logiciels -- Vérification
Théorie des traces
Concurrence
Combinatoire analytique
Algorithmique
Génération aléatoire uniforme
Graphes dirigés sans cycles
Analyse d'algorithmes
Programmation concurrente
Programmation parallèle (informatique)