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]
@phdthesis{hal-10054,
title = {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)},
author = {Matthieu Dien},
year = {2017},
url = {https://tel.archives-ouvertes.fr/tel-01678893},
researchr = {https://researchr.org/publication/hal-10054},
cites = {0},
citedby = {0},
school = {Pierre and Marie Curie University, Paris, France},
}