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

https://hal-lara.archives-ouvertes.fr/hal-02101816
Contributor : Colette Orange <>
Submitted on : Wednesday, April 17, 2019 - 9:07:03 AM
Last modification on : Wednesday, May 22, 2019 - 1:32:15 AM

File

RR2002-18.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02101816, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

10

Files downloads

21