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), 227-290.

Download

[img] PDF
Restricted to Registered users only

Download (432Kb) | Request a copy

Description/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

Item Type: Article
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 263457
Date Deposited: 15 Feb 2007
Last Modified: 27 Mar 2014 20:07
Publisher: Springer-Verlag
Further Information:Google Scholar
ISI Citation Count:9
URI: http://eprints.soton.ac.uk/id/eprint/263457

Actions (login required)

View Item View Item