TY  - JOUR
AU  - Coppo, Mario
AU  - Dezani-Ciancaglini, Mariangiola
AU  - Giovannetti, Elio
AU  - Salvo, Ivano
PY  - 2003
DA  - 2003//
TI  - Mobility Types for Mobile Processes in Mobile Ambients
JO  - Electr. Notes Theor. Comput. Sci.
VL  - 78
AB  - We present an ambient-like calculus in which the open capability is dropped, and a new form of “lightweight” 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 “minimal” 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.
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Coppo2003.pdf
UR  - https://doi.org/10.1016/S1571-0661(04)81011-9
DO  - 10.1016/S1571-0661(04)81011-9
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=74), last updated on Thu, 22 Nov 2012 14:59:18 +0100
ID  - Coppo_etal2003
ER  -