See this document in CiteSeerX!

Separability, Expressiveness, and Decidability in the Ambient Logic (2002)  (Make Corrections)  
Daniel Hirschkoff, Etienne Lozes, Davide Sangiorgi



  Home/Search   Context   Related

 
View or download:
sop.inria.fr/mimosa/perso...sedAL.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  freezope.org/wi...ntCalculiOnline (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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..   (Correct)
0.5:   Extensionality and Intensionality of the Ambient Logics - Sangiorgi (2000)   (Correct)
0.3:   A Spatial Logic for Concurrency (Part I) - Caires, Cardelli (2001)   (Correct)

Similar documents based on text:   More   All
0.3:   Elimination of Spatial Connectives in Static Spatial Logics - Lozes (2004)   (Correct)
0.3:   Elimination of Quantifiers and Undecidability in Spatial Logics .. - Caires, al. (2004)   (Correct)
0.2:   On Bisimulations for the Asynchronous π-Calculus - Amadio, Castellani, Sangiorgi (1996)   (Correct)

BibTeX entry:   (Update)

@misc{ hirschkoff-separability,
  author = "Daniel Hirschkoff and Etienne Lozes and Davide Sangiorgi",
  title = "Separability, Expressiveness, and Decidability in the Ambient Logic",
  url = "citeseer.ist.psu.edu/article/hirschkoff02separability.html" }
Citations (may not include all citations):
1933   Communication and Concurrency (context) - Milner - 1989
410   Mobile ambients - Cardelli, Gordon - 1998
357   Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
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
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
35   Extensionality and Intensionality of the Ambient Logic - Sangiorgi - 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
4   Multisets and structural congruence of the -calculus with r.. (context) - Engelfriet, Gelsema - 1999
2   Structural Congruence for Ambients is Decidable (context) - Dal-Zilio - 2000
2   workshop on Data Base Programming Languages (context) - Cardelli, Proc et al. - 1999
1   Also in Logic and Algebra of Speci cation (context) - Milner, -calculus et al. - 1993
1   A Logical formulas We begin with the de nition of the formul.. (context) - Sangiorgi, Walker et al. - 2001

Documents on the same site (http://xdguan.freezope.org/wiki/AmbientCalculiOnline):
Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004)   (Correct)
A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003)   (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