DMCA
Anytime, anywhere: modal logics for mobile ambients (2000)
Cached
Download Links
- [lucacardelli.name]
- [lucacardelli.name]
- [research.microsoft.com]
- [research.microsoft.com]
- DBLP
Other Repositories/Bibliography
by
Luca Cardelli
,
Andrew D. Gordon
| Venue: | In POPL ’00: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
| Citations: | 190 - 13 self |
BibTeX
@INPROCEEDINGS{Cardelli00anytime,anywhere:,
author = {Luca Cardelli and Andrew D. Gordon},
title = {Anytime, anywhere: modal logics for mobile ambients},
booktitle = {In POPL ’00: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
year = {2000},
pages = {365--377},
publisher = {ACM}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The Ambient Calculus is a process calculus where processes may reside within a hierarchy of locations and modify it. The purpose of 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. 1
