Browsing by Subject "bisimulation"

Sort by: Order: Results:

Now showing items 1-2 of 2

  • Bisimulation Congruences in Safe Ambients (extended abstract). 

    HENNESSY, MATTHEW (2002)
    We develop a semantics theory for SAP, a variant of Levi and Sangiorgi?s Safe Ambients, SA. The dynamics of SA relies upon capabilities (and co-capabilities) exercised by mobile agents, called ambients, to interact with ...

  • A Testing Theory for a Higher-Order Cryptographic Language 

    HENNESSY, MATTHEW (2011)
    We study a higher-order concurrent language with cryptographic primitives, for which we develop a sound and complete, rstorder testing theory for the preservation of safety properties. Our theory is based on co-inductive ...