Calcul d'objet asynchrone : confluence et déterminisme. (Asynchronous Object Calculus: Confluence and Determinacy)

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]

Abstract

Abstract is missing.