Ilaria Castellani
IdRefMots clés
FR |
EN
Synchrone
Réactif
Compilation
Multi-coeur
Sécurité
Sémantique formelle
Bisimulation
Compilation (informatique)
Microprocesseurs multi-coeurs
Systèmes informatiques -- Mesures de sûreté
Sémantique (philosophie)
Systèmes concurrents
Systèmes dynamiques
Analyse de ressources
Automates à mémoire
Algèbres de processus
Pi-Calcul
Pi-calcul
Communications
Verification