M. Coppo, M. Dezani-Ciancaglini, E. Giovannetti, and
I. Salvo
M3: Mobility types for mobile processes in mobile
ambients
In CATS 2003, volume 78 of ENTCS, 2003
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 which 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 type.
As an expressiviness test, we show that some of
the most known
calculi of
concurrency and mobility can be encoded in our
calculus in a
natural way.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43