Skip to Main content Skip to Navigation
Journal articles

ON THE EXPRESSIVENESS OF THE AMBIENT LOGIC

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.
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01905191
Contributor : Etienne Lozes <>
Submitted on : Thursday, October 25, 2018 - 3:59:55 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:29 PM
Document(s) archivé(s) le : Saturday, January 26, 2019 - 3:13:22 PM

File

HLS-lmcs06.pdf
Publisher files allowed on an open archive

Identifiers

Citation

Daniel Hirschkoff, Etienne Lozes, Davide Sangiorgi. ON THE EXPRESSIVENESS OF THE AMBIENT LOGIC. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2006, 2, pp.1 - 35. ⟨10.2168/LMCS-2⟩. ⟨hal-01905191⟩

Share

Metrics

Record views

80

Files downloads

127