Sort by: Order: Results:

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 ...