Probabilistic I/O Automata: Theories of Two Equivalences (Q5756615)
From MaRDI portal
scientific article; zbMATH DE number 5187272
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Probabilistic I/O Automata: Theories of Two Equivalences |
scientific article; zbMATH DE number 5187272 |
Statements
Probabilistic I/O Automata: Theories of Two Equivalences (English)
0 references
4 September 2007
0 references
stochastic process algebras
0 references
process equivalences
0 references
continuous-time Markov chains
0 references
equational theories
0 references
complete axiomatizations
0 references
