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]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
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 and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 263457 |
| Date Deposited: | 15 Feb 2007 |
| Last Modified: | 07 Mar 2012 15:33 |
| Contributors: | Hennessy, Matthew (Author) Yoshida, Nobuko (Author) Rathke, Julian (Author) |
| Date: | December 2005 |
| Status: | Published |
| 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 |
