No FAQ available that match "performance probabilistic bisimulation extends naturally"