Leaf Petersen

The Ambient Calculus

This talk will be an overview of the Ambient Calculus developed by Luca Cardelli and Andrew Gordon. The Ambient Calculus is a formalism for describing concurrent mobile processes that move within and between administrative domains. Certain desired security properties can also be reasoned about within the framework. The material for this talk will be drawn from the papers "Mobile Ambients" and "Ambient Decor" by Luca Cardelli and Andrew Gordon, and from my work with Luca over the summer at MSR Cambridge. These papers and other relevant material are available at http://www.luca.demon.co.uk/.
November 25, 1998
Wean 8220