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...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2005-12.
|
| Subjects: | |
| Online Access: | Get fulltext |