A quantitative study of fork-join processes with non-deterministic choice: application to the statistical exploration of the state-space (Q2120961)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A quantitative study of fork-join processes with non-deterministic choice: application to the statistical exploration of the state-space |
scientific article |
Statements
A quantitative study of fork-join processes with non-deterministic choice: application to the statistical exploration of the state-space (English)
0 references
1 April 2022
0 references
concurrency
0 references
nondeterminism
0 references
fork-join processes
0 references
loops
0 references
uniform random generation
0 references
combinatorics
0 references
