Asynchronous object calculus : confluence and determinacy / par Ludovic Henrio ; sous
la dir. de Denis Caromel, 2003
https://lhenrio.github.io/, 2024-04-05
Information trouvée : Chargé de recherches CNRS en informatique. Membre du Laboratoire de l'Informatique
du Parallélisme à l'ENS de Lyon