Knowledge Tree

researcher / Ludovic Henrio

Ludovic Henrio

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Asynchronous object calculus : confluence and determinacy

Directed Thesis:

Analyse de synchronisation dans les objets actifs basée sur les types comportementaux

Support à l'exécution pour objets actifs multi-threadés : conception et implémentation

Support mécanisé pour la spécification formelle, la vérification et le déploiement d'applications à base de composants

Reconfiguration and life-cycle distributed components : asynchrony, coherence and verification

A study of first class futures : specification, formalisation, and mechanised proofs