Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Jean-Jacques Lévy
Jean-Jacques Lévy
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Auditabilité pour les protocoles de sécurité
Sûreté des abstractions et sessions sécurisées dans les langages distribués
Poétique de la mémoire partagée
Types abstraits dans les systèmes répartis
Algèbres de processus réversibles et programmation concurrente déclarative
Propriétés de sécurité dans le lambda-calcul
Analyse modulaire de flot d'information pour les calculs séquentiels et concurrents
Le join-calcul : un calcul pour la programmation repartie et mobile
Compaction des langages fonctionnels
La strategie paresseuse