Testing finitary probabilistic processes (extended abstract)
Yuxin Deng, Robert van Glabbeek, Matthew Hennessy, Carroll C. Morgan · 2009
Abstract. This paper provides modal- and relational characterisations of mayand must-testing preorders for recursive CSP processes with divergence, featuring probabilistic as well as nondeterministic choice. May testing is characterised in terms of simulation, and must testing in terms of failure simulation. To this end we develop weak transitions between probabilistic processes, elaborate their topological properties, and capture divergence in terms of partial distributions. 1