On the Expressiveness of the Ambient Logic
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...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Logical Methods in Computer Science e.V.
2006-03-01
|
| Series: | Logical Methods in Computer Science |
| Subjects: | |
| Online Access: | https://lmcs.episciences.org/2251/pdf |
| _version_ | 1797268779204345856 |
|---|---|
| author | Daniel Hirschkoff Etienne Lozes Davide Sangiorgi |
| author_facet | Daniel Hirschkoff Etienne Lozes Davide Sangiorgi |
| author_sort | Daniel Hirschkoff |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-25T01:37:54Z |
| format | Article |
| id | doaj.art-9aac20d7589c417f9c9d24eca89e9e5f |
| institution | Directory Open Access Journal |
| issn | 1860-5974 |
| language | English |
| last_indexed | 2024-04-25T01:37:54Z |
| publishDate | 2006-03-01 |
| publisher | Logical Methods in Computer Science e.V. |
| record_format | Article |
| series | Logical Methods in Computer Science |
| spelling | doaj.art-9aac20d7589c417f9c9d24eca89e9e5f2024-03-08T08:36:36ZengLogical Methods in Computer Science e.V.Logical Methods in Computer Science1860-59742006-03-01Volume 2, Issue 210.2168/LMCS-2(2:3)20062251On the Expressiveness of the Ambient LogicDaniel HirschkoffEtienne LozesDavide SangiorgiThe 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.https://lmcs.episciences.org/2251/pdfcomputer science - logic in computer sciencef.4.3 |
| spellingShingle | Daniel Hirschkoff Etienne Lozes Davide Sangiorgi On the Expressiveness of the Ambient Logic Logical Methods in Computer Science computer science - logic in computer science f.4.3 |
| title | On the Expressiveness of the Ambient Logic |
| title_full | On the Expressiveness of the Ambient Logic |
| title_fullStr | On the Expressiveness of the Ambient Logic |
| title_full_unstemmed | On the Expressiveness of the Ambient Logic |
| title_short | On the Expressiveness of the Ambient Logic |
| title_sort | on the expressiveness of the ambient logic |
| topic | computer science - logic in computer science f.4.3 |
| url | https://lmcs.episciences.org/2251/pdf |
| work_keys_str_mv | AT danielhirschkoff ontheexpressivenessoftheambientlogic AT etiennelozes ontheexpressivenessoftheambientlogic AT davidesangiorgi ontheexpressivenessoftheambientlogic |