Davide Sangiorgi
IdRefMots clés
FR |
EN
Langages de programmation
Preuve
Bisimulation
Equivalences comportementales
Encodages
Concurrence
Théorie de la concurrence
Calcul de processus
Réversibilité
Programmation réversible
Expressivité de la réversibilité
Calculs de processus
Codage
Concurrency theory
Process calculi
Bisimulations
Lambda-calculus
Lambda-calcul
Équations
Coinduction