Daniele Varacca
IdRefMots clés
FR |
EN
Langages de programmation fonctionnelle
Verification
Pi-calcul
Concurrence
Systèmes concurrents
Espace compact Hausdorff
Topos
Théorie des catégories
Bisimulation
Monade
Coalgèbre
Hausdorff, Compactifications de
Distributivité (mathématiques)
Monades
Jeux
Architecture des réseaux d'ordinateurs
Communications
Automates communicants
Automates
Traitement réparti