@inproceedings{BGP12, author = {O. Bodini and A. Genitrini and F. Peschanski}, title = {{Enumeration and Random Generation of Concurrent Computations}}, booktitle = {23rd International Meeting on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms}, year = {2012}, pages = {83--96}, howpublished = {DMTCS}, month = {June}, address = {Montreal, Canada}, url = {http://www.dmtcs.org/dmtcs-ojs/index.php/proceedings/issue/view/125} }