Ludovic Henrio. Formal Models for Programming and Composing Correct Distributed Systems. (Modèles Formels pour la Programmation et la Composition de Systèmes Distribués Corrects). 2012. [doi]
@book{Henrio12, title = {Formal Models for Programming and Composing Correct Distributed Systems. (Modèles Formels pour la Programmation et la Composition de Systèmes Distribués Corrects)}, author = {Ludovic Henrio}, year = {2012}, url = {https://tel.archives-ouvertes.fr/tel-00720022}, researchr = {https://researchr.org/publication/Henrio12}, cites = {0}, citedby = {0}, }