Pages that link to "Item:Q2920847"
From MaRDI portal
The following pages link to Enumeration and random generation of concurrent computations (Q2920847):
Displaying 5 items.
- A quantitative study of pure parallel processes (Q907263) (← links)
- Sequential and parallel enumeration (Q1312715) (← links)
- A quantitative study of fork-join processes with non-deterministic choice: application to the statistical exploration of the state-space (Q2120961) (← links)
- Uniform Generation in Trace Monoids (Q2946325) (← links)
- Randomized Concurrent Set Union and Generalized Wake-Up (Q5145199) (← links)