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

“…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. …”
Get full text

Separability in the Ambient Logic by Daniel Hirschkoff, Etienne Lozes, Davide Sangiorgi

“…The \it{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. We study some basic questions concerning the discriminating power of AL, focusing on the equivalence on processes induced by the logic $(=_L>)$. …”
Get full text