Hennessy, Matthew, Yoshida, Nobuko and Rathke, Julian
safeDpi: a language for controlling mobile code.
Acta Informatica, 42, (4), .
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
Actions (login required)