Testing Finitary Probabilistic Processes
Item Type:Conference Paper
Citation:Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan., Testing Finitary Probabilistic Processes, 20th International Conference on Concurrency Theory (CONCUR'09), Bologna, Italy, September, 2009
testing.pdf (Published (author's copy) - Peer Reviewed) 893.7Kb
This paper provides modal- and relational characterisations of may- and 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.
Australian Research Council (ARC)
National Natural Science Foundation of China (60703033).
Science Foundation Ireland (SFI)
Author: HENNESSY, MATTHEW
Other Titles:20th International Conference on Concurrency Theory (CONCUR'09)
Type of material:Conference Paper
Availability:Full text available