A Dependently Typed Ambient Calculus
Abstract
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.
@InProceedings\{lhoussaine.sassone:dependently-typed-ambient-calculus,
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 = \{http://mikado.di.fc.ul.pt/repository/lhoussaine.sassone_dependently-typed-ambient-calculus.pdf}
}
About this site. Last modified: Thu Apr 25 21:49:22 CEST 2024