| Giovannetti:tutorial (In proceedings)
|
| Author(s) | Elio Giovannetti |
| Title | « Ambient Calculi with Types: a Tutorial » |
| In | Global Computing - Programming Environments, Languages, Security and Analysis of Systems, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers |
| Series | LNCS |
| Editor(s) | Corrado Priami |
| Volume | 2874 |
| Page(s) | 151-191 |
| Year | 2003 |
| Publisher | Springer-Verlag |
| URL | http://www.di.unito.it/~elio/papers/trento.pdf |
| Abstract |
| 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. |
@inproceedings{Giovannetti:tutorial,
volume = {2874},
author = {Elio Giovannetti},
series = {LNCS},
booktitle = {Global {C}omputing - {P}rogramming {E}nvironments, {L}anguages,
{S}ecurity and {A}nalysis of {S}ystems, GC 2003, {R}overeto,
{I}taly, {F}ebruary 9-14, 2003, {R}evised {P}apers},
editor = {Corrado Priami},
url = {http://www.di.unito.it/~elio/papers/trento.pdf},
abstract = {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.},
title = {Ambient Calculi with Types: a Tutorial},
publisher = {Springer-Verlag},
pages = {151-191},
year = {2003},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
