Matthieu Dien. Concurrent process and combinatorics of increasingly labeled structures : quantitative analysis and random generation algorithms. (Processus concurrents et combinatoire des structures croissantes : analyse quantitative et algorithmes de génération aléatoire). PhD thesis, Pierre and Marie Curie University, Paris, France, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.