A. D. Gordon and L. Cardelli. Equational properties of mobile ambients. In Proceedings FoSSaCS'99, volume 1578 of Lecture Notes in Computer Science, pages 212--226. Springer, 1999. An extended version appears as Microsoft Research Technical Report MSR--TR--99--11, April 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Bisimulation Proof Methods for Mobile Ambients - Merro, Nardelli (2003) (10 citations) (Correct)
....over this LTS which coincides with reduction barbed . up to expansion and up to context proof techniques. We believe that interesting labelled characterisations of typed reduction barbed congruence can be derived along the lines of [19] Higher order LTSs for Mobile Ambients can be found in [6, 13, 32, 10]. But we are not aware of any form of bisimilarity defined using these LTSs. A simple first order LTS for MA without restriction is proposed by Sangiorgi in [28] Using this LTS the author defines an intensional bisimilarity for MA which separates terms on the basis of their internal structure. ....
....Pict [31] a Calculus for Mobile Resources [12] and NBA [5] can be found in [19, 8, 31, 12, 5] but only [19, 12, 5] prove a labelled characterisations of a contextually defined notion of equivalence. The perfect firewall equation as already been proved for Morris style contextual equivalence in [13] using a context lemma. Acknowledgements The authors would like to thank Vladimiro Sassone who spotted a problem in the proof of Theorem 4.7 in an early draft of the paper. The second author is grateful to the Foundations of Computing Group of University of Sussex, for the kind hospitality and ....
A. D. Gordon and L. Cardelli. Equational properties of mobile ambients. Journal of Mathematical Structures in Computer Science, 12:1--38, 2002.
Information Flow Security in Boxed Ambients - Crafa, Bugliesi, Castagna (2003) (4 citations) (Correct)
....or a mobility action. Again, this notion is formalized with the help of the type system (see Section 3) As the next step of our formalization, we introduce a relation of behavioral equivalence to compare processes. This relation is a typed version of the equivalence relation introduced in [9] for MA: a contextual equivalence that equates two processes if and only if they admit the same elementary observations whenever they are inserted inside any arbitrary, but well typed, enclosing context. Our observability predicate is akin to the one studied in [9] but refined to capture the core ....
....relation introduced in [9] for MA: a contextual equivalence that equates two processes if and only if they admit the same elementary observations whenever they are inserted inside any arbitrary, but well typed, enclosing context. Our observability predicate is akin to the one studied in [9], but refined to capture the core form of interaction between Boxed Ambients, namely, the ability for an ambient to exchange values along its upward channel. We thus say that a process exhibits a name (reduces, in any number of steps, to a process that) contains an ambient that may accept ....
[Article contains additional citation context not shown here]
L. Cardelli and A. Gordon. Equational properties for mobile ambients. In Proceedings FoSSaCS'99. Springer LNCS. Full version available as Microsoft Research Technical Report MSR-TR-99-11, 1999.
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) (Correct)
....of behavioural equivalences for CA. A possible outcome of such a study could be to validate a more elaborate treatment of resources involving operations like garbage collection, which would allow one to make available uselessly occupied resources. An example is the perfect firewall equation of [12]: when c fn(P ) process (# c) c[P ] may manipulate some resources while being actually equivalent to 0. Other Related Works. Other projects aim at controlling resources in possibly mobile systems without resorting to mobile process algebras. 17] presents a modified ML language with sized ....
A. D. Gordon and L. Cardelli. Equational properties of mobile ambients. In Proc. of FOSSACS'99, volume 1578 of LNCS, pages 212--226. Springer Verlag, 1999.
Mobility Types for Mobile Ambients - Cardelli, Ghelli, Gordon (1999) (79 citations) Self-citation (Gordon Cardelli) (Correct)
No context found.
A. D. Gordon and L. Cardelli. Equational properties of mobile ambients. In Proceedings FoSSaCS'99, volume 1578 of Lecture Notes in Computer Science, pages 212--226. Springer, 1999. An extended version appears as Microsoft Research Technical Report MSR--TR--99--11, April 1999.
The Complexity of Model Checking Mobile Ambients - Charatonik, Zilio, Gordon.. (2001) (6 citations) Self-citation (Gordon) (Correct)
No context found.
Cardelli, L. and A. D. Gordon (1999b). Equational properties of mobile ambients.
Finite-Control Mobile Ambients - Witold Charatonik Andrew (2002) (29 citations) Self-citation (Gordon) (Correct)
.... or outside other ambients) or by deletion of a part of this tree (a process may dissolve the boundary of some ambient, revealing its content) There are proposals for analysing systems expressed in the ambient calculus and its variants [2,14] via several techniques, such as equational reasoning [3], type systems [8] control flow analysis [16] and abstract interpretation [13] Still, the ambient calculus is Turing complete, and little attention has been paid to finding expressive finite state fragments that admit automatic verification via state space exploration. The goal of this work is ....
L. Cardelli and A. D. Gordon. Equational properties of mobile ambients. In Proceedings FoSSaCS'99, volume 1578 of LNCS, pages 212--226. Springer, 1999.
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) (Correct)
No context found.
A. D. Gordon and L. Cardelli. Equational properties of mobile ambients. In Proc. of FOSSACS'99, volume 1578 of LNCS, pages 212-226. Springer Verlag, 1999.
A Calculus of Bounded Capacities - Barbanera, Bugliesi, al. (2003) (384 citations) (Correct)
No context found.
Gordon, Andrew D., & Cardelli, Luca. (2003). Equational properties of mobile ambients. Mathematical Structures in Computer Science, 13(3), 371--408.
Communication and Mobility Control in Boxed Ambients - Bugliesi, Crafa, Merro.. (2003) (5 citations) (Correct)
No context found.
L. Cardelli and A. Gordon. Equational Properties for Mobile Ambients. In Proceedings FoSSaCS'99, Lecture Notes in Computer Science. Springer-Verlag, 1999.
Communication Interference in Mobile Boxed Ambients - Bugliesi, Crafa, Merro.. (2002) (27 citations) (Correct)
No context found.
L. Cardelli and A. Gordon. Equational Properties for Mobile Ambients. In Proceedings FoSSaCS'99, volume 1578 Lecture Notes in Computer Science, 212--226, Springer, 1999.
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) (Correct)
No context found.
A. D. Gordon and L. Cardelli. Equational properties of mobile ambients. In Proc. of FOSSACS'99, volume 1578 of LNCS, pages 212-226. Springer Verlag, 1999.
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2004) (32 citations) (Correct)
No context found.
Gordon AD, Cardelli L (1999) Equational properties of mobile ambients. In: Proceedings of FOSSACS'99. Lecture notes in computer science, vol 1578. Springer, Berlin Heidelberg New York, pp 212--226
Information Leakage Detection in Boundary Ambients - Braghin, Cortesi, Focardi (2003) (Correct)
No context found.
Gordon, A. D. and L. Cardelli, Equational Properties of Mobile Ambients, in: W. Thomas, editor, Proc. of the Second International Conference on Foundations of Software Science and Computation Structures (FoSSaCS '99), Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS'99), (Amsterdam, The Netherlands, April 1999), LNCS 1578 (1999), pp. 212-226.
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) (Correct)
No context found.
A. D. Gordon and L. Cardelli. Equational properties of mobile ambients. In Proc. of FOSSACS'99, volume 1578 of LNCS, pages 212--226. Springer Verlag, 1999.
Communication Interference in Mobile Boxed Ambients - Bugliesi, Crafa, Merro.. (2002) (27 citations) (Correct)
No context found.
L. Cardelli and A. Gordon. Equational Properties for Mobile Ambients. In Proceedings FoSSaCS'99, volume 1578 Lecture Notes in Computer Science, 212--226, Springer, 1999.
Bisimulation Proof Methods for Mobile Ambients - Merro, Nardelli (2003) (10 citations) (Correct)
No context found.
A. D. Gordon and L. Cardelli. Equational properties of mobile ambients. Journal of Mathematical Structures in Computer Science, 12:1--38, 2002.
Information Society Technologies - Ist Programme Contract (Correct)
No context found.
L. Cardelli and A. Gordon. Equational properties for mobile ambients. In Proceedings FoSSaCS '99. Springer LNCS, 1999.
Name-Passing In An Ambient-Like Calculus and Its Proof Using.. - Guan (2004) (Correct)
No context found.
Andrew D. Gordon and Luca Cardelli. Equational properties of mobile ambients. In Wolfgang Thomas, editor, Proceedings of FoSSaCS '99, volume 1578 of LNCS, pages 212--226. Springer, 1999.
Bisimulation Proof Methods for Mobile Ambients - Universita (2003) (10 citations) (Correct)
No context found.
A. D. Gordon and L. Cardelli. Equational properties of mobile ambients. Journal of Mathematical Structures in Computer Science, 12:1--38, 2002.
Communication and Mobility Control in Boxed Ambients - Bugliesi, Crafa, Merro.. (2003) (5 citations) (Correct)
No context found.
L. Cardelli and A. Gordon. Equational Properties for Mobile Ambients. In Proceedings FoSSaCS'99, Lecture Notes in Computer Science. Springer-Verlag, 1999.
The Seal Calculus Revisited: contextual equivalence and.. - Castagna, Nardelli (2003) (12 citations) (Correct)
No context found.
L. Cardelli and A. Gordon. Equational properties for Mobile Ambients. In Proceedings FoSSaCS '99. Springer LNCS, 1999.
Behavioural Theory for Mobile Ambients - Merro, Nardelli (2004) (1 citation) (Correct)
No context found.
A. D. Gordon and L. Cardelli. Equational properties of mobile ambients. Journal of Mathematical Structures in Computer Science, 12:1--38, 2002. An extended abstract appeared in Proc. FoSSaCs '99.
Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
No context found.
Andrew D. Gordon and Luca Cardelli. Equational Properties of Mobile Ambients. In Wolfgang Thomas, editor, Proceedings of FoSSaCS '99, volume 1578 of Lecture Notes in Computer Science, pages 212-226. Springer, 1999.
Information Flow Security in Boxed Ambients - Crafa, Bugliesi, Castagna (2002) (4 citations) (Correct)
No context found.
L. Cardelli and A. Gordon. Equational properties for mobile ambients. In Proceedings FoSSaCS'99. Springer LNCS. Full version available as Microsoft Research Technical Report MSR-TR-99-11, 1999.
On Reduction Semantics for the Push and Pull Ambient Calculus - Phillips, Vigliotti (2002) (3 citations) (Correct)
No context found.
A.D. Gordon and L. Cardelli. Equational Properties of mobile ambients. In Proceedings of FoSSaCS'99, volume 1578 of Lectures Notes in Computer Science, pages 212--226. Springer-Verlag, 1999.
First 50 documents
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