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.
Type de document :
Article dans une revue
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2006, 2, pp.1 - 35. 〈10.2168/LMCS-2〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01905191
Contributeur : Etienne Lozes <>
Soumis le : jeudi 25 octobre 2018 - 15:59:55
Dernière modification le : mardi 13 novembre 2018 - 11:50:03

Fichier

HLS-lmcs06.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

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〉

Partager

Métriques

Consultations de la notice

1