@article{GPP22, author = {A. Genitrini and M. P{\'{e}}pin and F. Peschanski}, title = {A quantitative study of fork-join processes with non-deterministic choice: application to the statistical exploration of the state-space}, journal = {Theor. Comput. Sci.}, volume = {912}, pages = {1--36}, year = {2022}, url = {https://doi.org/10.1016/j.tcs.2022.01.014}, doi = {10.1016/j.tcs.2022.01.014} }