Computing Publications

Publications Home » safeDpi: a language for controlli...

safeDpi: a language for controlling mobile code.

Matthew Hennessy, Julian Rathke, Nobuko Yoshida

Journal Article
Acta Inf.
Acta Informatica
Volume 42
Issue 4
pp.227–290
December, 2005
Springer Verlag
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.