Enumeration and random generation of concurrent computations (2012)

by O Bodini, A Genitrini, F Peschanski
Venue:In 23rd International Meeting on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, (AofA