A behavioural pseudometric for probabilistic transition systems
type: Item
instance of: scholarly article
title: A behavioural pseudometric for probabilistic transition systems
zbMATH Open document ID: 1070.68109
author: James Worrell
author: Franck van Breugel
published in: Theoretical Computer Science
publication date: 2005-04-06T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2153220
zbMATH Keywords: Probabilistic transition system
zbMATH Keywords: Pseudometric
zbMATH Keywords: Probabilistic bisimilarity
zbMATH Keywords: Terminal coalgebra
zbMATH Keywords: Real-valued modal logic
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.09.035
OpenAlex ID: W2063972032
cites work: A fixed-point theorem in a category of compact metric spaces
cites work: Solving reflexive domain equations in a category of complete metric spaces
cites work: Q4606219
cites work: Domain equations for probabilistic processes
cites work: Q4040874
cites work: Q4836494
cites work: Bisimulation for labelled Markov processes
cites work: Q4791270
cites work: Q4535035
cites work: Q4270063
cites work: Approximating labelled Markov processes
cites work: Q4375489
cites work: Q3946875
cites work: Reactive, generative, and stratified models of probabilistic processes
cites work: Q3731958
cites work: Q3249221
cites work: A probabilistic PDL
cites work: Q4222974
cites work: Bisimulation through probabilistic testing
cites work: Q5639839
cites work: Q5533878
cites work: Mass transhipment problems and ideal metrics
cites work: Universal coalgebra: A theory of systems
cites work: Q4060097
cites work: On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
cites work: Q5180666
cites work: Bisimulation for probabilistic transition systems: A coalgebraic approach
DOI: 10.1016/J.TCS.2004.09.035
description: scientific article; zbMATH DE number 2153220