The M3 Paradigm: Types and Type Inference for Ambient and Process Mobility
Abstract
A new kind of ambient calculi is presented, wherethe open capability is replaced by direct mobility of naked processes, while the associated type systems are algorithmic in the sense that they directly provide type inference procedures. The calculus comes equipped with a labelled transition system in which types play a major role: this system allows us to showinteresting algebraic lows. Types express, as usual, the communication, access and mobilityproperties of the modelled system; inferred types express the minimal constraints required for the system to well behave.
@Unpublished\{coppo.ciancaglini.giovannetti:the-m3-paradigm,
author = \{M. Coppo and M. {Dezani-Ciancaglini} and E. Giovannetti},
title = \{The M3 Paradigm: Types and Type Inference for Ambient and Process Mobility},
year = \{2004},
note = \{Submitted to a journal. Extendend
version of \cite{coppo.etal:mobility-types-ambie},
url = \{http://mikado.di.fc.ul.pt/repository/coppo.ciancaglini.giovannetti_the-m3-paradigm.pdf}
}
About this site. Last modified: Thu Apr 25 16:44:53 CEST 2024