Volume 42, Issue 4-5 | Acta Informatica

Search all Acta Informatica articles

Volume 42, Issue 4-5

December 2005

Special issue: Types in concurrency. Part II , Guest Editor: R. De Nicola, D. Sangiorgi

3 articles in this issue

safeDpi: a language for controlling mobile code
Matthew Hennessy
Julian Rathke
Nobuko Yoshida
Original Article 14 October 2005 Pages: 227 - 290
Type-based information flow analysis for the π-calculus
Naoki Kobayashi
Original Article 14 October 2005 Pages: 291 - 347
A general framework for types in graph rewriting
Barbara König
Original Article 14 October 2005 Pages: 349 - 388