Frank Valencia
IdRefMots clés
FR |
EN
Calculs de processus
Treillis, Théorie des
Contraintes
Logique modale
Théorie d'ordre
Logiques épistémiques
Modalité (logique)
Logique mathématique
Algèbre
Programmation par contraintes
Pi-calcul
Concurrence
Sémantique étiquetée
Raffinement de partition
Bisimilarité
Ccp
Algorithmes
Systèmes de Contraintes
Mobilité
Logique Épistémique