A Dependently Typed Ambient Calculus

13 years 11 months ago
A Dependently Typed Ambient Calculus
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.
Cédric Lhoussaine, Vladimiro Sassone
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where ESOP
Authors Cédric Lhoussaine, Vladimiro Sassone
Comments (0)