A behavioural pseudometric for probabilistic transition systems

Franck van Breugel, James Worrell. A behavioural pseudometric for probabilistic transition systems. Theoretical Computer Science, 331(1):115-142, 2005. [doi]

Abstract

Abstract is missing.