On the Expressiveness of the Ambient LogicReportar como inadecuado

On the Expressiveness of the Ambient Logic - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 LIP - Laboratoire de l-Informatique du Parallélisme 2 LSV - Laboratoire Spécification et Vérification Cachan 3 DISI - Dipartimento di Scienze dell-Informazione Bologna

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.

Keywords : Spatial Logics Ambients

Autor: Daniel Hirschkoff - Etienne Lozes - Davide Sangiorgi -

Fuente: https://hal.archives-ouvertes.fr/


Documentos relacionados