Anca Muscholl
IdRefMots clés
FR |
EN
Langages formels
Transducteurs
Théorie des automates mathématiques
Automates
Synthèse
Synthèse de haut niveau (informatique)
Structures de données (informatique)
Vérification
Théorie des jeux
Logique
Théorie de la définissabilité (mathématiques)
Transducteurs de mots
La sémantique d'origine
Resynchroniseurs
Équivalence
Inclusion
Systèmes distribués
Théorie des automates
Processus stochastiques
Traitement réparti