C. Fournet, J.-J. Levy, and A. Schmitt. A distributed implementation of mobile ambients. In Proc. of IFIP TCS'00, pages 348-364. Springer Verlag, 1872. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
The Fusion Machine (Extended Abstract) - Gardner, Laneve, Wischik (Correct)
Formalisms for Mobile Resource Control - Teller (2003) (1 citation) (Correct)
Formalisms for Mobile Resource Control - Teller (2003) (1 citation) (Correct)
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) (Correct)
Encoding Channels in Typed Ambients - Guan, You (Correct)
Using Ambients to Control Resources - Teller, Zimmer, Hirschkopf (2002) (32 citations) (Correct)
Guardians for Ambient-Based Monitoring - Ferrari, Moggi, Pugliese (2002) (2 citations) (Correct)
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) (Correct)
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) (Correct)
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2004) (32 citations) (Correct)
Explicit Fusions - Wischik, Gardner (2000) (7 citations) (Correct)
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) (Correct)
Formalisms for Mobile Resource Control - Teller (2004) (1 citation) (Correct)
Ambient Calculi with Types: a Tutorial - Giovannetti (2003) (2 citations) (Correct)
Secrecy in Untrusted Networks - Michele Bugliesi Silvia (2003) (1 citation) (Correct)
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) (Correct)
Formalisms for Mobile Resource Control - Teller (2003) (1 citation) (Correct)
Boxed Ambients - Bugliesi, Castagna, Crafa (2001) (61 citations) (Correct)
JoCaml: a Language for Concurrent Distributed and.. - Fournet, Le.. (2002) Self-citation (Fournet Schmitt) (Correct)
The Join Calculus: A Language for Distributed Mobile Programming - Fournet, Gonthier (2000) Self-citation (Fournet) (Correct)
A Hierarchy of Equivalences for Asynchronous Calculi - Fournet, Gonthier (2003) (16 citations) Self-citation (Fournet) (Correct)
JoCaml: a Language for Concurrent Distributed and.. - Fournet, Le.. Self-citation (Fournet Schmitt) (Correct)
The Join Calculus: A Language for Distributed Mobile Programming - Fournet, Gonthier (2000) Self-citation (Fournet) (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