Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems (Q3518278)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems |
scientific article |
Statements
Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems (English)
0 references
7 August 2008
0 references
probabilistic transition systems
0 references
probabilistic bisimilarity
0 references
behavioural distances
0 references
