%0 Journal Article
%T Mobility Types for Mobile Processes in Mobile Ambients
%A Coppo, Mario
%A Dezani-Ciancaglini, Mariangiola
%A Giovannetti, Elio
%A Salvo, Ivano
%J Electr. Notes Theor. Comput. Sci.
%D 2003
%V 78
%F Coppo_etal2003
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=74), last updated on Thu, 22 Nov 2012 14:59:18 +0100
%X 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.
%R 10.1016/S1571-0661(04)81011-9
%U http://mclab.di.uniroma1.it/publications/papers/papers/Coppo2003.pdf
%U https://doi.org/10.1016/S1571-0661(04)81011-9