A quantitative study of fork-join processes with non-deterministic choice: Application to the statistical exploration of the state-space

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.