A Dependently Typed Ambient Calculus
Lhoussaine, C. and Sassone, V. (2004) A Dependently Typed Ambient Calculus. In, European Symposium on Programming, ESOP'04. Springer, 171-187.
![[file icon]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) | PDF 232Kb |
Description/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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Uncontrolled Keywords: | resource access control, type systems, dependent types, ambient calculus |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| ePrint ID: | 262298 |
| Deposited On: | 11 Apr 2006 |
| Last Modified: | 10 Mar 2012 11:38 |
| Further Information: | Google Scholar |
Associated Staff Only: edit my ePrint
