12 citations · 23 across the 13 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.PL2014
A Quantitative Study of Pure Parallel Processes
Olivier Bodini, Antoine Genitrini, Frédéric Peschanski
In this paper, we study the interleaving -- or pure merge -- operator that most often characterizes parallelism in concurrency theory. This operator is a principal cause of the so-…
math.CO2014
The relation between tree size complexity and probability for Boolean functions generated by uniform random trees
Antoine Genitrini, Bernhard Gittenberger, Veronika Kraus +1
We consider a probability distribution on the set of Boolean functions in n variables which is induced by random Boolean expressions. Such an expression is a random rooted plane tr…