most citedOn the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version)

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2017★ 2 cited

On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version)

Gaoang Bian, Alessandro Abate

This work introduces a notion of approximate probabilistic trace equivalence for labelled Markov chains, and relates this new concept to the known notion of approximate probabilist…