A behavioural pseudometric for probabilistic transition systems
Under an Elsevier user license
open archive
Keywords
Probabilistic transition system
Pseudometric
Probabilistic bisimilarity
Terminal coalgebra
Real-valued modal logic
Cited by (0)
- 1
Supported by Natural Sciences and Engineering Research Council of Canada.
- 2
Supported by the US Office of Naval Research.
Copyright © 2004 Elsevier B.V. All rights reserved.