Daniel Hirschkoff, Etienne Lozes, Davide Sangiorgi  Home/Search
Context
Related
| sop.inria.fr/mimosa/perso...sedAL.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: freezope.org/wi...ntCalculiOnline (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.. (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