Le moteur de recherche
des thèses françaises
Frédéric Lang
IdRefMots clés
FR |
EN
Réseaux de Petri
Systèmes Distribués
Méthodes Formelles
Algèbre de Processus
Compilation
Rendez-Vous Multiple
Méthodes formelles (informatique)
Traitement réparti
Compilation (informatique)
Protocoles de réseaux d'ordinateurs
Verification basée sur les modèles
Méthodes formelles
Techniques de descriptions formelles
Sémantique opérationnelle
Concurrence
Systèmes GALS
Langages de programmation -- Sémantique