Formal Models for Programming and Composing Correct Distributed Systems. (Modèles Formels pour la Programmation et la Composition de Systèmes Distribués Corrects)

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.