Browsing by Subject "testing equivalences"

Now showing items 1-2 of 2

    • Remarks on Testing Probabilistic Processes 

      HENNESSY, MATTHEW (IEEE, 2007)
      We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a simple probabilistic version of the ...

    • The Security Picalculus and Non-interference. 

      HENNESSY, MATTHEW (Elsevier, 2005)
      The security -calculus is a typed version of the asynchronous -calculus in which the types, in addition to constraining the input/output behaviour of processes, have security levels associated with them. This enables ...