Browsing Administrative Staff Authors (Scholarly Publications) by Sponsor "Australian Research Council (ARC)"
Now showing items 1-1 of 1
-
Testing Finitary Probabilistic Processes
(2009)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 ...