Le moteur de recherche
des thèses françaises
Fabrizio Montesi
IdRefMots clés
FR |
EN
Systèmes distribués
Choréographies
Microservices
Vérification statique
Informatique
Langages de programmation
Logique linéaire
Réduction parallèle
Réseaux de preuves
Pi calcul
Chorégraphies
Calcul des processus
Progression
Confluence
Deadlock Freedom
Pi-calcul
Quantificateurs (logique mathématique)
Génie logiciel
Lambda-calcul
Théorie de la démonstration