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]
No references recorded for this publication.
No citations of this publication recorded.