loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
17th Annual IEEE Symposium on Logic in Computer Science (LICS'02)
Separability, Expressiveness, and Decidability in the Ambient Logic
Copenhagen, Denmark
July 22-July 25
ISBN: 0-7695-1483-9
ASCII Text
x 
 
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi, "Separability, Expressiveness, and Decidability in the Ambient Logic," Logic in Computer Science, Symposium on, pp. 423, 17th Annual IEEE Symposium on Logic in Computer Science (LICS'02), 2002.
 
 
BibTex
x
 
@article{ 10.1109/LICS.2002.1029850,
author = {Daniel Hirschkoff and Étienne Lozes and Davide Sangiorgi},
title = {Separability, Expressiveness, and Decidability in the Ambient Logic},
journal ={Logic in Computer Science, Symposium on},
volume = {0},
year = {2002},
issn = {1043-6871},
pages = {423},
doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029850},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Logic in Computer Science, Symposium on
TI - Separability, Expressiveness, and Decidability in the Ambient Logic
SN - 1043-6871
SP
EP
A1 - Daniel Hirschkoff,
A1 - Étienne Lozes,
A1 - Davide Sangiorgi,
PY - 2002
KW - null
VL - 0
JA - Logic in Computer Science, Symposium on
ER -
 
Daniel Hirschkoff, LIP - ENS Lyon
Étienne Lozes, LIP - ENS Lyon

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.

We study some basic questions concerning the descriptive and discriminating power of AL, focusing on the equivalence on processes induced by the logic (=L). We consider MA, and two Turing complete subsets of it, MA_{IF} and MA_{IF}^{syn}, respectively defined by imposing a semantic and a syntactic constraint on process prefixes.

The main contributions include: coinductive and inductive operational characterisations of =L; an axiomatisation of =L on MA_{IF}^{syn}; the construction of characteristic formulas for the processes in MA_{IF} with respect to =L; the decidability of =L on MA_{IF} and on MA_{IF}^{syn}, and its undecidability on MA.

Citation:
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi, "Separability, Expressiveness, and Decidability in the Ambient Logic," lics, pp.423, 17th Annual IEEE Symposium on Logic in Computer Science (LICS'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.