Skip to Main content Skip to Navigation

Separability, Expressiveness, and Decidability in the Ambient Logic

Abstract : The Amient Logic (AL) has been proposed for expressing properties of process mobility in the calculs of Mobile Ambients (MA) and a basis for query languages on, semistructured data. We study some basic questions concerning the descriptivend discriminant power of AL, focusing on the equivalence on processess induced by logic (=L). We consider MAa, and two Tuing complete subsets of it, MAIF and MA SYNIF, respectively defined by imposing a semantic and a syntactic constraint on process prefixes. The main contributions include : conductive and inductive operational characterisations of =L; An axiomatisation of +L on MA SYNIF, the construction of characteristics formulas for the processes in MAIF with respect to =L; the decidability of +L on MAIF and on MA SYN IF and its undecidability on MA
Document type :
Complete list of metadata
Contributor : Colette Orange Connect in order to contact the contributor
Submitted on : Wednesday, April 17, 2019 - 9:07:03 AM
Last modification on : Saturday, September 11, 2021 - 3:19:20 AM


Files produced by the author(s)


  • HAL Id : hal-02101816, version 1



Daniel Hirschkoff, E. Lozes, D. Sangiorgi. Separability, Expressiveness, and Decidability in the Ambient Logic. [Research Report] LIP RR-2002-18, Laboratoire de l'informatique du parallélisme. 2002, 2+17p. ⟨hal-02101816⟩



Les métriques sont temporairement indisponibles