Browsing Administrative Staff Authors by Sponsor "National Natural Science Foundation of China (60703033)."

Now showing items 1-1 of 1

    • Testing Finitary Probabilistic Processes 

      HENNESSY, MATTHEW (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 ...