Mobile Calculi based on Domains


{\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}, 
  url = \{http://mikado.di.fc.ul.pt/repository/coppo.etal_mobility-types-ambients.pdf}
}


About this site. Last modified: Sat Nov 18 05:44:01 CET 2017