E. Giovannetti
Ambient calculi with types: a
tutorial
In Global Computing - Programming Environments,
Languages, Security and Analysis of Systems, volume 2874 of
LNCS Springer-Verlag, 2003
A tutorial introduction to the key concepts of ambient calculi and
their type disciplines, illustrated through a number
of systems proposed in the last few years, such as Mobile Ambients,
Safe Ambients, Boxed Ambients, and other related calculi with types.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43