Ludovic Henrio. Calcul d'objet asynchrone : confluence et déterminisme. (Asynchronous Object Calculus: Confluence and Determinacy). PhD thesis, University of Nice Sophia Antipolis, France, 2003. [doi]
@phdthesis{hal-6856,
title = {Calcul d'objet asynchrone : confluence et déterminisme. (Asynchronous Object Calculus: Confluence and Determinacy)},
author = {Ludovic Henrio},
year = {2003},
url = {https://tel.archives-ouvertes.fr/tel-00505940},
researchr = {https://researchr.org/publication/hal-6856},
cites = {0},
citedby = {0},
school = {University of Nice Sophia Antipolis, France},
}