Frédéric Lang
IdRefMots clés
FR |
EN
Petri, Réseaux de
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