The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (Q5919286)
From MaRDI portal
scientific article; zbMATH DE number 7142668
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism |
scientific article; zbMATH DE number 7142668 |
Statements
The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (English)
0 references
12 December 2019
0 references
