L. Cardelli and A. D. Gordon. Mobile ambients. In Proc. of Foundations of Software Science and Computation Structures (FoSSaCS), ETAPS'98, LNCS 1378, pages 140--155, Mar. 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Mobility Types for Mobile Ambients - Cardelli, Ghelli, Gordon (1999) (79 citations) Self-citation (Cardelli Gordon) (Correct)
No context found.
L. Cardelli and A. D. Gordon. Mobile ambients. In Proceedings FoSSaCS'98, volume 1378 of Lecture Notes in Computer Science, pages 140--155. Springer, 1998.
Equational Properties of Mobile Ambients - Gordon, Cardelli (1999) (35 citations) Self-citation (Cardelli Gordon) (Correct)
No context found.
L. Cardelli and A. D. Gordon. Mobile ambients. In Foundations of Software Science and Computation Structures, volume 1378 of Lecture Notes in Computer Science, pages 140--155. Springer-Verlag, 1998.
Secure Composition of Insecure Components - Sewell, Vitek (1999) (23 citations) (Correct)
No context found.
L. Cardelli and A. D. Gordon. Mobile ambients. In Proc. of Foundations of Software Science and Computation Structures (FoSSaCS), ETAPS'98, LNCS 1378, pages 140--155, Mar. 1998.
Under consideration for publication in Math. Struct. in.. - Axioms For Bigraphical (Correct)
No context found.
Cardelli, L. and Gordon, A.D. (2000), Mobile ambients. In Foundations of System Specification and Computational Structures, Lecture Notes in Computer Science 1378, 140--155. Springer Verlag.
Secrecy by Typing in Security Protocols - Abadi (1998) (145 citations) (Correct)
No context found.
L. Cardelli and A. D. Gordon. Mobile ambients. In Foundations of Software Science and Computation Structures, First International Conference (FoSSaCS '98), volume 1378 of Lecture Notes in Computer Science, pages 140--155. Springer Verlag, 1998.
Transactors: A Programming Model for Maintaining Globally.. - Field, Varela (2005) (Correct)
No context found.
L. Cardelli and A. Gordon. Mobile ambients. In Foundations of System Specification and Computational Structures, LNCS 1378, pages 140--155. Springer Verlag, 1998.
A Survey of Programming Languages and Platforms for.. - Bordini, Braubach, al. (2006) (Correct)
No context found.
L. Cardelli and A. D. Gordon. Mobile ambients. In M. Nivat, editor, Foundations of Software Science and Computational Structures, volume 1378 of LNCS, pages 140--155. Springer, 1998.
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) (Correct)
No context found.
L. Cardelli and A. D. Gordon. Mobile ambients. In Proc. of FOSSACS'98, volume 1378, pages 140-155. Springer Verlag, 1998.
A Parametric Model for the Analysis of Mobile Ambients - Distefano (2005) (Correct)
No context found.
L. Cardelli and A.D. Gordon. Mobile ambients. In FOSSACS '98, LNCS 1378 pp. 140--155. Springer, 1998.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (7 citations) (Correct)
No context found.
L. Cardelli, A. D. Gordon. Mobile ambients. In M. Nivat, ed., FoSSaCS'98, vol. 1378 of LNCS. Springer-Verlag, 1998.
Bisimulation Congruences for Homer - a calculus of.. - Hildebrandt.. (2004) (Correct)
No context found.
Cardelli, L., Gordon, A.D.: Mobile ambients. In Nivat, M., ed.: Proceedings of FoSSaCS '98. Volume 1378 of LNCS., Springer (1998) 140--155
A CPS Encoding of Name-Passing in Higher-Order.. - Bundgaard.. (2004) (Correct)
No context found.
Cardelli, L. and A. D. Gordon, Mobile ambients, in: M. Nivat, editor, Proceedings of the First International Conference of Foundations of Software Science and Computation Structures (FOSSACS'98), Lecture Notes in Computer Science 1378 (1998), pp. 140--155.
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2003) (6 citations) (Correct)
No context found.
L.. Cardelli and A. Gordon. Mobile ambients. In Foundations of Software Science and Computational Structures, M. Nivat (Ed.), Lecture Notes in Computer Science, Vol. 1378. Springer Verlag, 1998.
A Calculus of Kells - Stefani (2003) (2 citations) (Correct)
No context found.
L. Cardelli and A. Gordon. Mobile ambients. In Foundations of Software Science and Computational Structures, M. Nivat (Ed.), Lecture Notes in Computer Science, Vol. 1378. Springer Verlag, 1998.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2003) (7 citations) (Correct)
No context found.
L. Cardelli, A. D. Gordon. Mobile ambients. In M. Nivat, ed., FoSSaCS'98, vol. 1378 of LNCS. Springer-Verlag, 1998.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (7 citations) (Correct)
No context found.
Cardelli, L. and Gordon, A. D. (1998). Mobile ambients. In Nivat, M., editor, FoSSaCS'98, volume 1378 of LNCS, pages 140--155. Springer-Verlag.
Causal Type System for Ambient Movements - Amtoft (2003) (Correct)
No context found.
L. Cardelli and A. D. Gordon. Mobile ambients. In M. Nivat, ed., FoSSaCS'98, vol. 1378 of LNCS, pp. 140--155. Springer-Verlag, 1998. 1, 3
Causal Type System for Ambient Movements - Amtoft (2002) (Correct)
No context found.
L. Cardelli and A. D. Gordon. Mobile ambients. In M. Nivat, ed., FoSSaCS '98, vol. 1378 of LNCS, pp. 140--155. Springer-Verlag, 1998.
M³: Mobility Types for Mobile Processes in.. - Coppo.. (2002) (Correct)
No context found.
L. Cardelli and A. D. Gordon. Mobile ambients. In M. Nivat, editor, FoSSaCS'98, volume 1378 of LNCS, pages 140--155, Berlin, 1998. SpringerVerlag.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2003) (7 citations) (Correct)
No context found.
L. Cardelli, A. D. Gordon. Mobile ambients. In M. Nivat, ed., FoSSaCS'98, vol. 1378 of LNCS. Springer-Verlag, 1998.
Modular Event-Based Systems - Fiege, Mühl, Gärtner (Correct)
No context found.
L. Cardelli and A. D. Gordon. Mobile ambients. In M. Nivat, editor, Proceedings of Foundations of Software Science and Computation Structures (FoSSaCS), volume 1378 of LNCS, pages 140--155, Lisbon, Portugal, 1998. Springer-Verlag.
A Modal Logic for Mobile Agents - De Nicola, Loreti (Correct)
No context found.
L. Cardelli and A. D. Gordon. Mobile ambients. In M. Nivat, editor, Proceedings of the First International Conference on Foundations of Software Science and Computation Structures (FoSSaCS '98), volume 1378 of Lecture Notes in Computer Science, pages 140--155. sv, 1998. 51
A Calculus of Bounded Capacities - Barbanera, Bugliesi, al. (2003) (384 citations) (Correct)
No context found.
Cardelli, Luca, & Gordon, Andrew D. (2000). Mobile ambients. Theoretical Computer Science, 240(1), 177--213. Special Issue on Coordination, D. Le Mtayer Editor.
A Calculus of Bounded Capacities - Barbanera, Bugliesi, al. (2003) (384 citations) (Correct)
No context found.
Cardelli, L., & Gordon, A. (1998). Mobile Ambients. Pages 140--155 of: Proceedings of f0ssacs'98. Lecture Notes in Computer Science, no. 1378. Springer.
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (16 citations) (Correct)
No context found.
L. Cardelli and A. Gordon. Mobile ambients. In Proc. FoSSaCS '98, LNCS. Springer-Verlag, 1998.
First 50 documents Next 50
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