Hirschkoff, Daniel and Lozes, Etienne and Sangiorgi, Davide - On the Expressiveness of the Ambient Logic

lmcs:2251 - Logical Methods in Computer Science, March 30, 2006, Volume 2, Issue 2
On the Expressiveness of the Ambient Logic

Authors: Hirschkoff, Daniel and Lozes, Etienne and Sangiorgi, Davide

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.


Source : oai:arXiv.org:cs/0510010
DOI : 10.2168/LMCS-2(2:3)2006
Volume: Volume 2, Issue 2
Published on: March 30, 2006
Submitted on: April 4, 2005
Keywords: Computer Science - Logic in Computer Science,F.4.3


Share

Consultation statistics

This page has been seen 44 times.
This article's PDF has been downloaded 16 times.