Anytime, Anywhere: Modal Logics for Mobile Ambients
- Luca Cardelli ,
- Andy Gordon
POPL 2000 Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
Published by ACM Press
The Ambient Calculus is a process calculus where processes my reside within a hierarchy of locations and modify it. The purpose of the the calculus is to study mobility, which is seen as the change of spatial configurations over time. In order to describe properties of mobile computations we devise a modal logic that can talk about space as well as time, and that has the Ambient Calculus as a model.