Probabilistic Thread Algebra (Q4621195)
From MaRDI portal
scientific article; zbMATH DE number 7020190
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Probabilistic Thread Algebra |
scientific article; zbMATH DE number 7020190 |
Statements
Probabilistic Thread Algebra (English)
0 references
8 February 2019
0 references
basic thread algebra
0 references
probabilistic thread
0 references
probabilistic service
0 references
probabilistic interleaving strategy
0 references
probabilistic instruction
0 references
