safeDpi: a language for controlling mobile code
safeDpi: a language for controlling mobile code
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
227-290
Hennessy, Matthew
b3b09b09-36b7-4646-8f58-28b435d431d5
Yoshida, Nobuko
c061d44e-4a00-4933-90aa-6669e7d590c7
Rathke, Julian
dba0b571-545c-4c31-9aec-5f70c231774b
December 2005
Hennessy, Matthew
b3b09b09-36b7-4646-8f58-28b435d431d5
Yoshida, Nobuko
c061d44e-4a00-4933-90aa-6669e7d590c7
Rathke, Julian
dba0b571-545c-4c31-9aec-5f70c231774b
Hennessy, Matthew, Yoshida, Nobuko and Rathke, Julian
(2005)
safeDpi: a language for controlling mobile code.
Acta Informatica, 42 (4), .
Abstract
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
Text
sdpifinal.pdf
- Other
Restricted to Registered users only
Request a copy
More information
Published date: December 2005
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 263457
URI: http://eprints.soton.ac.uk/id/eprint/263457
PURE UUID: 34131977-9289-4f9f-a3ed-637b52efa642
Catalogue record
Date deposited: 15 Feb 2007
Last modified: 14 Mar 2024 07:32
Export record
Contributors
Author:
Matthew Hennessy
Author:
Nobuko Yoshida
Author:
Julian Rathke
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics