Browsing Administrative Staff Authors (Scholarly Publications) by Subject "behavioural equivalence"

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