Fabio Gadducci, Alberto Lluch Lafuente  Home/Search
Context
Related
| trese.cs.utwente.n...eprocGadducci.pdf 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: web.tiscali.it/ikaria/alb...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The paper introduces a novel approach to the verification of spatial properties for finite #-calculus specifications. The mechanism is based on a recently proposed graphical encoding for mobile calculi: Each process is mapped into a (ranked) graph, such that the denotation is fully abstract with respect to the usual structural congruence (i.e., two processes are equivalent exactly when the corresponding encodings yield the same graph). Spatial properties for reasoning about the behavior and... (Update)
Active bibliography (related documents): More All
0.6: Action Planning for Graph Transition Systems - Edelkamp, Jabbar, al. (2005) (Correct)
0.5: A Simpler Proof Theory for Nominal Logic - Cheney (2005) (Correct)
0.3: A Parametric Model for the Analysis of Mobile Ambients - Distefano (2005) (Correct)
Similar documents based on text:
5.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ gadducci-graphical,
author = "Fabio Gadducci and Alberto Lluch Lafuente",
title = "Graphical Verification of a Spatial Logic for the π-calculus",
url = "citeseer.ist.psu.edu/gadducci05graphical.html" }
Citations (may not include all citations):111 Separation logic: A logic for shared mutable data structures - Reynolds - 2002
37 A spatial logic for querying graphs - Cardelli, Gardner et al. - 2002
29 Term graph rewriting - Plump - 1999
24 An algebraic presentation of term graphs (context) - Corradini, Gadducci - 1999
24 Manipulating trees with hidden labels (context) - Cardelli, Gardner et al. - 2003
14 Information and Computation (context) - Caires, Cardelli et al. - 2003
12 Bigraphical reactive systems (context) - Milner - 2001
11 A static analysis technique for graph transformation systems - Baldan, Corradini et al. - 2001
7 Towards model checking graph grammars (context) - Rensink - 2003
6 The GROOVE simulator: A tool for state space generation - Rensink - 2003
3 Behavioral and spatial observations in a logic for the #-cal.. (context) - Caires - 2004
2 A spatial logic for concurrency -- II (context) - Caires, Cardelli - 2004
2 Automated formal verification of visual modeling languages b.. (context) - Varro - 2004
1 AUGUR: An unfolding-based verification tool for GTS (context) - Kozioura, Konig - 2005
1 Term graph rewriting and the #-calculus (context) - Gadducci - 2003
1 The spatial logic model checker user's manual (context) - Vieira, Caires - 2004
Documents on the same site (http://web.tiscali.it/ikaria/alberto/papers/index.html): More
Quantitative μ-calculus and CTL defined over.. - Lluch-Lafuente, Montanari (2005) (Correct)
Symmetry Reduction and Heuristic Search for Error Detection in.. - Lafuente (Correct)
QAPL 2004 Preliminary Version - Quantitative Calculus And (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