Knowledge Tree

researcher / Gérard Boudol

Gérard Boudol

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Conception et implémentation d'un langage de programmation concurrente modulaire

Sémantique et sécurité des applications Web

Operational semantics of relaxed memory models

Mise en oeuvre d'un langage à mobilité forte

Réceptivité, mobilité et π-Calcul

Le calcul bleu : types et objets