{\bf M}$^3$: Mobility Types for Mobile Processes in Mobile Ambients

M. Coppo and M. {Dezani-Ciancaglini} and E. Giovannetti and I. Salvo

Abstract

We present an ambient 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 access and mobility properties to be cntrolled, along with the kind of values exchanged in communication. A type inference procedure determines the minimal' requirements needed for accepting 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.

@InProceedings\{coppo.etal:mobility-types-ambients,
author = \{M. Coppo and  M. {Dezani-Ciancaglini} and E. Giovannetti and I. Salvo},
title = \{{\bf M}$^3$: Mobility Types for Mobile Processes in Mobile Ambients},
booktitle = \{CATS 2003},
year = \{2003},
volume = \{78},
series = \{ENTCS},
}