|
|
|
|
| LEADER |
00778 am a22001453u 4500 |
| 001 |
263457 |
| 042 |
|
|
|a dc
|
| 100 |
1 |
0 |
|a Hennessy, Matthew
|e author
|
| 700 |
1 |
0 |
|a Yoshida, Nobuko
|e author
|
| 700 |
1 |
0 |
|a Rathke, Julian
|e author
|
| 245 |
0 |
0 |
|a safeDpi: a language for controlling mobile code
|
| 260 |
|
|
|c 2005-12.
|
| 856 |
|
|
|z Get fulltext
|u https://eprints.soton.ac.uk/263457/1/sdpifinal.pdf
|
| 520 |
|
|
|a 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
|
| 655 |
7 |
|
|a Article
|
