safeDpi: a language for controlling mobile code

Hennessy, Matthew, Yoshida, Nobuko and Rathke, Julian (2005) safeDpi: a language for controlling mobile code Acta Informatica, 42, (4), pp. 227-290.


[img] PDF sdpifinal.pdf - Other
Restricted to Registered users only

Download (443kB)


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 versions of Picalculus communication channels. A host location may protect itself by only accepting code which conforms to a given type associated to the incoming port

Item Type: Article
Organisations: Electronic & Software Systems
ePrint ID: 263457
Date :
Date Event
December 2005Published
Date Deposited: 15 Feb 2007
Last Modified: 17 Apr 2017 19:52
Further Information:Google Scholar

Actions (login required)

View Item View Item