Dino Distefano  Home/Search
Context Related
| dcs.qmul.ac.uk/~ddino/p...aplas2005.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: dcs.qmul.ac.uk/%7E...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. (Update)
Cited by: More
Safety and Liveness in Concurrent Pointer Programs - Distefano, Katoen, Rensink (Correct)
A Parametric Model for the Analysis of Mobile Ambients - Distefano (2005) (Correct)
Active bibliography (related documents): More All
1.7: Parametric model checking for Mobile Ambients - Distefano (Correct)
0.5: Who is Pointing When to Whom? On the Automated.. - Distefano, Katoen.. (2004) (Correct)
0.4: A Local Shape Analysis based on Separation Logic - Distefano, O'Hearn, Yang (2006) (Correct)
Similar documents based on text:
5.0: Unknown - (Correct)
Related documents from co-citation: More All
3: Who is pointing when to whom (context) - Distefano, Rensink et al. - 2003
2: Solving shape-analysis problems in languages with destructive updating - Sagiv, Reps et al. - 1996
2: anywhere: Modal logics for mobile ambients (context) - Cardelli, Gordon - 2000
BibTeX entry: (Update)
D. Distefano. A parametric model for the analysis of mobile ambients. Full version with proofs. http://citeseer.ist.psu.edu/distefano05parametric.html More
@misc{ distefano-parametric,
author = "D. Distefano",
title = "A parametric model for the analysis of mobile ambients",
text = "D. Distefano. A parametric model for the analysis of mobile ambients. Full
version with proofs.",
url = "citeseer.ist.psu.edu/distefano05parametric.html" }
Citations (may not include all citations):815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
539 The temporal logic of programs (context) - Pnueli - 1977
410 Mobile ambients - Cardelli, Gordon - 1998
230 Checking that finite state concurrent programs satisfy their.. (context) - Lichtenstein, Pnueli - 1985
200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1998
144 Controlling interference in ambients - Levi, Sangiorgi - 2000
118 A spatial logic for concurrency - Caires, Cardelli - 2003
82 anywhere: Modal logics for mobile ambients (context) - Cardelli, Gordon - 2000
39 Abstract interpretation of mobile ambients (context) - Hansen, Jensen et al. - 1999
30 Safe ambients: Control flow analysis and security - Degano, Levi et al. - 2000
30 Finite-control mobile ambients - Charatonik, Gordon et al. - 2002
17 Control flow analysis of mobile ambients with security bound.. - Braghin, Cortesi et al. - 2002
16 An introduction to history-dependent automata (context) - Montanari, Pistore - 1997
15 An abstract interpretation framework for analysing mobile am.. (context) - Levi, Ma - 2001
6 Who is pointing when to whom: on model-checking pointer stru.. - Distefano, Rensink et al. - 2003
6 Who is pointing when to whom (context) - Distefano, Katoen et al. - 2004
4 On model checking the dynamics of object-based software: a f.. - Distefano - 2003
3 Behavioral and spatial observations in a logic for #-calculu.. (context) - Caires - 2004
2 Validating farewalls in mobile ambients (context) - Nielson, Nielson et al. - 1999
2 A parametric model for the analysis of mobile ambients - Distefano
Documents on the same site (http://www.dcs.qmul.ac.uk/%7Eddino/publications.html): More
Who is Pointing When to Whom? On the Automated.. - Distefano, Katoen.. (2004) (Correct)
Parametric model checking for Mobile Ambients - Distefano (Correct)
On a Temporal Logic for Object-Based Systems - Distefano, Katoen, Rensink (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