|
Journals in DBLP
Acta Inf. 2005, volume: 42, number: 4-5
- Matthew Hennessy, Julian Rathke, Nobuko Yoshida
safeDpi: a language for controlling mobile code. [Citation Graph (0, 0)][DBLP] Acta Inf., 2005, v:42, n:4-5, pp:227-290 [Journal]
- Naoki Kobayashi
Type-based information flow analysis for the pi-calculus. [Citation Graph (0, 0)][DBLP] Acta Inf., 2005, v:42, n:4-5, pp:291-347 [Journal]
- Barbara König
A general framework for types in graph rewriting. [Citation Graph (0, 0)][DBLP] Acta Inf., 2005, v:42, n:4-5, pp:349-388 [Journal]
|