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