Mobile Calculi based on Domains


The M3 Paradigm: Types and Type Inference for Ambient and Process Mobility

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

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: Sat Nov 18 05:36:23 CET 2017