@Article{Coppo_etal2003,
author="Coppo, Mario
and Dezani-Ciancaglini, Mariangiola
and Giovannetti, Elio
and Salvo, Ivano",
title="Mobility Types for Mobile Processes in Mobile Ambients",
journal="Electr. Notes Theor. Comput. Sci.",
year="2003",
volume="78",
abstract="We present an ambient-like calculus in which the open capability is dropped, and a new form of {\~A}{\textcent}{\^a}‚{\textlnot}{\AA}“lightweight{\~A}{\textcent}{\^a}‚{\textlnot}{\^A} process mobility is introduced. The calculus comes equipped with a type system that allows the kind of values exchanged in communications and the access and mobility properties of processes to be controlled. A type inference procedure determines the {\~A}{\textcent}{\^a}‚{\textlnot}{\AA}“minimal{\~A}{\textcent}{\^a}‚{\textlnot}{\^A} requirements to accept a system or a component as well typed. This gives a kind of principal typing. As an expressiveness test, we show that some well known calculi of concurrency and mobility can be encoded in our calculus in a natural way.",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=74), last updated on Thu, 22 Nov 2012 14:59:18 +0100",
doi="10.1016/S1571-0661(04)81011-9",
opturl="https://doi.org/10.1016/S1571-0661(04)81011-9",
file=":http://mclab.di.uniroma1.it/publications/papers/papers/Coppo2003.pdf:PDF"
}