safeDpi: a language for controlling mobile code (Q2581010)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | safeDpi: a language for controlling mobile code |
scientific article |
Statements
safeDpi: a language for controlling mobile code (English)
0 references
10 January 2006
0 references
pi-calculus
0 references
