Browsing Administrative Staff Authors by Subject "behavioural equivalence"

Sort by: Order: Results:

Now showing items 1-1 of 1

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