Antoine Genitrini, Martin Pépin, Frédéric Peschanski. A quantitative study of fork-join processes with non-deterministic choice: Application to the statistical exploration of the state-space. Theoretical Computer Science, 912:1-36, 2022. [doi]
Abstract is missing.