Massimo Merro, Francesco Zappa Nardelli  Home/Search
Context Related
| di.ens.fr/pub/users/zapp...ptmaTR.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: di.ens.fr/~zappa/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We study the behavioural theory of Cardelli and Gordon's Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincides with reduction barbed congruence. We also provide two up-to proof techniques that we use to prove a set of algebraic laws, including the perfect firewall equation. (Update)
Cited by: More
A Semantic Theory for Global Computing Systems - Daniele Gorla Rosario (2003) (Correct)
A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (Correct)
MIKADO Global Computing Project IST-2001-32222 - Mobile Calculi Based (Correct)
Active bibliography (related documents): More All
1.1: Bisimulation Proof Methods for Mobile Ambients - Universita (2003) (Correct)
0.9: Behavioural Theory for Mobile Ambients - Merro, Nardelli (2004) (Correct)
0.3: On Reduction Semantics for the Push and Pull Ambient Calculus - Phillips, Vigliotti (2002) (Correct)
Similar documents based on text: More All
0.3: The Seal Calculus Revisited: contextual equivalence and.. - Castagna, Nardelli (2003) (Correct)
0.3: Typing mobility in the Seal Calculus - Giuseppe Castagna Giorgio (2001) (Correct)
0.3: Bisimulation Congruences in Safe Ambients - Merro, Hennessy (2001) (Correct)
Related documents from co-citation: More All
11: Information and Computation (context) - Milner, Parrow et al. - 1992
10: Theoretical Computer Science (context) - Amadio, Castellani et al. - 1998
9: Theoretical Computer Science (context) - Cardelli, Gordon - 2000
BibTeX entry: (Update)
M. Merro and F. Zappa Nardelli. Bisimulation proof methods for mobile ambients. In Proc. ICALP 2003. Springer Verlag, 2003. An extended version is available as Computer Science Report 2003:01, University of Sussex, http://cogslib.cogs.susx.ac.uk/csr abs.php?cs. http://citeseer.ist.psu.edu/merro03bisimulation.html More
@misc{ merro03bisimulation,
author = "M. Merro and F. Nardelli",
title = "Bisimulation proof methods for mobile ambients",
text = "M. Merro and F. Zappa Nardelli. Bisimulation proof methods for mobile ambients.
In Proc. ICALP 2003. Springer Verlag, 2003. An extended version is available
as Computer Science Report 2003:01, University of Sussex, http://cogslib.cogs.susx.ac.uk/csr
abs.php?cs.",
year = "2003",
url = "citeseer.ist.psu.edu/merro03bisimulation.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
854 Information and Computation (context) - Milner, Parrow et al. - 1992
294 An Object Calculus for Asynchronous Communications - Honda, Tokoro - 1991
248 Expressing Mobility (context) - Sangiorgi - 1992
197 Barbed bisimulation - Milner, Sangiorgi - 1992
149 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984
144 Controlling interference in ambients - Levi, Sangiorgi - 2000
140 On reduction-based process semantics - Honda, Yoshida - 1995
116 A typed language for distributed mobile processes - Hennessy, Riely - 1998
109 Theoretical Computer Science (context) - Cardelli, Gordon - 2000
94 Seal: A framework for secure mobile computations - Vitek, Castagna - 1999
81 calculus: a Theory of Mobile Processes (context) - Sangiorgi, Walker - 2001
69 Boxed ambients - Bugliesi, Castagna et al. - 2001
61 Weak Bisimulation up to (context) - Sangiorgi, Milner et al. - 1992
58 Bisimulation congruences in safe ambients - Merro, Hennessy - 2002
56 INRIA-Sophia Antipolis (context) - Boudol, the et al. - 1992
47 Equational properties of mobile ambients - Gordon, Cardelli - 2002
45 Communication interference in mobile boxed ambients - Bugliesi, Crafa et al.
42 Theoretical Computer Science (context) - Amadio, Castellani et al. - 1998
35 the bisimulation proof method - Sangiorgi - 1998
35 Extensionality and intensionality of the ambient logic - Sangiorgi - 2001
34 Bisimulation for Higher-Order Process Calculi - Sangiorgi - 1996
33 A calculus of mobile resources - Godskesen, Hildebrandt et al. - 2002
32 Towards a behavioural theory of access and mobility control .. (context) - Hennessy, Merro et al. - 2003
30 Locality and non-interleaving semantics in calculi for mobil.. - Sangiorgi - 1996
22 Concurrency on automata and infinite sequences (context) - Park - 1981
20 A hierarchy of equivalences for asynchronous calculi - Fournet, Gonthier - 1998
16 The seal calculus revisited: Contextual equivalence and bisi.. - Castagna, Nardelli - 2002
15 Nomadic Pict: Correct communication infrastructures for mobi.. - Unyapoth, Sewell - 2001
12 A commitment relation for the ambient calculus - Cardelli, Gordon - 1996
8 ciency preorder for processes (context) - Arun-Kumar, Hennessy - 1992
6 A LTS semantics of ambients via graph synchronization with m.. (context) - Ferrari, Montanari et al. - 2001
5 Transition systems for the ambient calculus (context) - Vigliotti - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.di.ens.fr/~zappa/): More
Types for Seal Calculus - Nardelli (Correct)
Typing mobility in the Seal Calculus - Giuseppe Castagna Giorgio (2001) (Correct)
Behavioural Theory for Mobile Ambients - Merro, Nardelli (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