PT Journal
AU Coppo, M
   Dezani-Ciancaglini, M
   Giovannetti, E
   Salvo, I
TI Mobility Types for Mobile Processes in Mobile Ambients
SO Electr. Notes Theor. Comput. Sci.
PY 2003
VL 78
DI 10.1016/S1571-0661(04)81011-9
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.
ER