Roberto Amadio
IdRefMots clés
FR |
EN
Pi-calcul
Audit informatique
Langages de programmation
Programmation parallèle (informatique)
Bisimulation
Calcul de processus
Systèmes informatiques
Logique combinatoire
Maîtrise statistique des processus
Communication -- Analyse de réseau
Inférence
Cryptographie
Protocoles de réseaux d'ordinateurs
Chiffrement (informatique)
Dynamique des fluides
Systèmes à réaction
Informatique théorique
Programme parallèle
Vérification
Protocole de transmission