On the Expressiveness of the Ambient Logic

Details On the Expressiveness of the Ambient Logic On the Expressiveness of the Ambient Logic

2005-10-04

arxiv.org/abs/cs/0510010v2

LMCS 2 (2:3) 2006

Computer Science

Logic in Computer Science

Scientific paper

10.2168/LMCS-2(2:3)2006

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.

Affiliated with

Also associated with

No associations

Rating

On the Expressiveness of the Ambient Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On the Expressiveness of the Ambient Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the Expressiveness of the Ambient Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-83201