Algebraic theory of probabilistic processes. (Q1400293)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Algebraic theory of probabilistic processes. |
scientific article; zbMATH DE number 1963691
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Algebraic theory of probabilistic processes. |
scientific article; zbMATH DE number 1963691 |
Statements
Algebraic theory of probabilistic processes. (English)
0 references
13 August 2003
0 references
Probabilistic process algebras
0 references
Probabilistic testing semantics
0 references
0.881682813167572
0 references
0.843839168548584
0 references
0.8389599323272705
0 references