Browsing by Subject "bisimulations"

Sort by: Order: Results:

Now showing items 1-2 of 2

  • A calculus for costed computations 

    HENNESSY, MATTHEW (2011)
    We develop a version of the picalculus Picost where channels are interpreted as resources which have costs associated with them. Code runs under the financial responsibility of owners; they must pay to use resources, but ...

  • SAFEDPI: A language for controlling mobile code 

    HENNESSY, MATTHEW (2005)
    safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, which are essentially higher-order ...