| |
VOLUME 2, ISSUE 2, PAPER 3
|
On the Expressiveness of the Ambient Logic
|
©Daniel Hirschkoff, ENS Lyon
©Etienne Lozes, PPS - Université Paris 7
©Davide Sangiorgi, Università di Bologna
|
Abstract
The Ambient Logic (AL) has been proposed for expressing properties of process
mobility in the calculus of Mobile Ambients (MA), and as a basis for query
languages on semistructured data. In this paper, we study the expressiveness of
AL. We define formulas for capabilities and for communication in MA. We also
derive some formulas that capture finitess of a term, name occurrences and
persistence. We study extensions of the calculus involving more complex forms
of communications, and we define characteristic formulas for the equivalence
induced by the logic on a subcalculus of MA. This subcalculus is defined by
imposing an image-finiteness condition on the reducts of a MA process.
|
Publication date: March 30, 2006
Full Text: PDF | PostScript
DOI: 10.2168/LMCS-2(2:3)2006
Hit Counts: 2850 |
 Creative Commons | |
