Probabilistic extensions of process algebras. (Q2760248)
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: Probabilistic extensions of process algebras. |
scientific article; zbMATH DE number 1684403
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Probabilistic extensions of process algebras. |
scientific article; zbMATH DE number 1684403 |
Statements
2001
0 references
parallelism
0 references
process algebra
0 references
probabilistic transition system
0 references
probabilistic bisimulation
0 references
Probabilistic extensions of process algebras. (English)
0 references
The concepts of Probabilistic Transition System (PTS), probabilistic bisimulation and simulation are discussed. The PTS are interpreted as a basic model for probabilistic processes. Some of their properties and variants are given. It is shown that PTS are an essentially nondeterministic version of Markov's decision processes or Rabin's probabilistic automata. Probabilistic process languages for PTS are discussed. The paper contains a review of the results in this area.NEWLINENEWLINEFor the entire collection see [Zbl 0971.00006].
0 references
