{\bf M}$^3$: Mobility Types for Mobile Processes in Mobile Ambients
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},
url = \{http://mikado.di.fc.ul.pt/repository/coppo.etal_mobility-types-ambients.pdf}
}
About this site. Last modified: Thu Apr 25 03:39:08 CEST 2024