Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi  Home/Search
Context
Related
| perso.enslyon.fr/etienne....long.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: perso.enslyon.fr/etienn...publis (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. (Update)
Active bibliography (related documents): More All
0.8: Separability, Expressiveness, and Decidability in the.. - Hirschkoff, Lozes.. (2002) (Correct)
0.3: A Logic You Can Count On - Zilio, Lugiez, Meyssonnier (2004) (Correct)
0.2: Minimality Results for the Spatial Logics - Hirschkoff, Lozes, Sangiorgi (2003) (Correct)
Similar documents based on text: More All
0.8: Elimination of Quantifiers and Undecidability in Spatial Logics .. - Caires, al. (2004) (Correct)
0.7: Elimination of Spatial Connectives in Static Spatial Logics - Lozes (2004) (Correct)
0.5: Separation Logic Preserves the Expressive Power of Classical Logic - Lozes (Correct)
BibTeX entry: (Update)
@misc{ hirschkoff-separability,
author = "Daniel Hirschkoff and Étienne Lozes and Davide Sangiorgi",
title = "Separability, Expressiveness, and Decidability in the Ambient Logic",
url = "citeseer.ist.psu.edu/700660.html" }
Citations (may not include all citations):410 Mobile ambients - Cardelli, Gordon - 1998
410 Mobile Ambients - Cardelli, Gordon - 1998
357 Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
178 Communicating and Mobile Systems: the -Calculus (context) - Milner - 1999
144 Controlling interference in ambients - Levi, Sangiorgi - 2000
126 Types for mobile ambients - Cardelli, Gordon - 1999
118 A Spatial Logic for Concurrency - Caires, Cardelli - 2001
82 anywhere: Modal logics for mobile ambients (context) - Cardelli, Gordon - 2000
81 calculus: a Theory of Mobile Processes (context) - Sangiorgi, Walker - 2001
75 Proving congruence of bisimulation in functional programming.. - Howe - 1996
47 Logical Properties of Name Restriction (context) - Cardelli, Gordon - 2001
42 A Query Language Based on the Ambient Logic - Cardelli, Ghelli - 2001
38 Deciding Validity in a Spatial Logic for Trees - Calcagno, Cardelli et al. - 2002
35 Extensionality and Intensionality of the Ambient Logic - Sangiorgi - 2001
20 Computability and Complexity Results for a Spatial Assertion.. - Calcagno, Yang et al. - 2001
20 The Decidability of Model Checking Mobile Ambients - Charatonik, Talbot - 2001
13 A modal characterization of observational congruence on nite.. (context) - Graf, Sifakis - 1986
12 Characteristic formulae for processes with divergence (context) - Ste, Ing et al. - 1994
9 Describing Semistructured Data (context) - Cardelli - 2001
5 the expressiveness of Movement in Pure Mobile Ambients (context) - Busi, Zavattaro - 2002
2 Structural Congruence for Ambients is Decidable (context) - Dal-Zilio - 2000
1 Technical annex to [CGb] (context) - Cardelli, annex et al. - 1998
Documents on the same site (http://perso.ens-lyon.fr/etienne.lozes/Publis/publis.html): More
Elimination of Spatial Connectives in Static Spatial Logics - Lozes (2004) (Correct)
Separation Logic Preserves the Expressive Power of Classical Logic - Lozes (Correct)
Elimination of Quantifiers and Undecidability in Spatial.. - Caires, Lozes (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC