Mobile Calculi based on Domains

A Dependently Typed Ambient Calculus

C. Lhoussaine and V. Sassone


The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to enforce elementary access control policies, expressed indirectly via classification of ambients in groups by means of group types. The paper presents a theory of dependent types for the Ambient calculus which allows greater flexibility, while keeping the complexity away from the programmer into the type system.

  author = \{C. Lhoussaine and V. Sassone},
  title = \{A Dependently Typed Ambient Calculus},
  booktitle = \{Proceedings of European Symposium on Programming, ESOP 03},
  year = \{2003}, 
  volume = \{2772}, 
  series = \{LNCS}, 
  publisher = \{Springer}, 
  url = \{}

About this site. Last modified: Wed Sep 20 22:08:50 CEST 2017