A behavioural pseudometric for probabilistic transition systems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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

The following publications are possibly variants of this publication:

A Behavioural Pseudometric for Metric Labelled Transition SystemsFranck van Breugel. concur 2005: 141-155 [doi]

Approximating a Behavioural Pseudometric Without Discount for Probabilistic SystemsFranck van Breugel, Babita Sharma, James Worrell. fossacs 2007: 123-137 [doi]

Approximating a Behavioural Pseudometric without Discount for Probabilistic SystemsFranck van Breugel, Babita Sharma, James Worrell. lmcs, 4(2), 2008. [doi]

Approximating and computing behavioural distances in probabilistic transition systemsFranck van Breugel, James Worrell. TCS, 360(1-3):373-385, 2006. [doi]

An Accessible Approach to Behavioural PseudometricsFranck van Breugel, Claudio Hermida, Michael Makkai, James Worrell. icalp 2005: 1018-1030 [doi]

On behavioural pseudometrics and closure ordinalsFranck van Breugel. ipl, 112(19):715-718, 2012. [doi]

runs on WebDSL