Skip to main content
padlock icon - secure page this page is secure
Home / ACTA INFORMATICA, Volume 42, Number 4

Publisher: Springer Science and Media

Volume 42, Number 4, 2005

safeDpi: a language for controlling mobile code
pp. 227-290(64)
Authors: Hennessy, M.; Rathke, J.; Yoshida, N.

Favourites:
ADD

Type-based information flow analysis for the π-calculus
pp. 291-347(57)
Author: Kobayashi, N.

Favourites:
ADD

A general framework for types in graph rewriting
pp. 349-388(40)
Author: König, B.

Favourites:
ADD

Share Content

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more