C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In Proceedings of CONCUR '96. LNCS 1119, pages 406--421. SpringerVerlag, Aug. 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Bisimulations in the Join-Calculus - Fournet, Laneve (2001) (1 citation) Self-citation (Fournet) (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In U. Montanari and V. Sassone, editors, 7th International Conference on Concurrency Theory (CONCUR'96), volume 1119 of LNCS, pages 406-421. Springer-Verlag, Aug. 1996.
Secure Composition of Insecure Components - Sewell, Vitek (1999) (23 citations) (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In Proceedings of CONCUR '96. LNCS 1119, pages 406--421. SpringerVerlag, Aug. 1996.
Prototyping Concurrent Systems in Cw - Nuno Rodrigues Lus (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Lvy, L. Maranget, and D. Rmy. A calculus of mobile agents. In Proc. CONCUR' 96. Springer Lect. Notes Comp. Sci. (1119), 1996.
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In Proc. of CONCUR'96, pages 406-421. Springer Verlag, 1996.
Assigning Types to Processes - Yoshida, Hennessy (2000) (32 citations) (Correct)
No context found.
Fournet, C., Gonthier, G., Levy, J.-J., Maranget, L., and Remy, D., A Calculus for Mobile Agents, CONCUR '96, LNCS 1119, pp.406--421, Springer-Verlag, 1996.
Security Policies as Membranes in Systems for Global.. - Gorla, Hennessy, Sassone (2004) (Correct)
No context found.
C. Fournet, G. Gonthier, J. L evy, L. Maranget, and D. R emy. A calculus of mobile agents. In Proc. of CONCUR'96, volume 1119 of LNCS, pages 406--421. Springer, 1996.
High-Level Petri Nets as - Type Theories In (Correct)
No context found.
C. Fournet, G. Gonthier, J. L evy, L. Maranget, and D. R emy (1996), A Calculus of Mobile Agents, In Proc. CONCUR'96, Lecture Notes in Computer Science 1119, 406-421, Springer.
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2003) (6 citations) (Correct)
No context found.
C. Fournet, G. Gonthier, J.J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In In Proceedings 7th International Conference on Concurrency Theory (CONCUR `96), Lecture Notes in Computer Science 1119. Springer Verlag, 1996.
O'KLAIM: a coordination language with mobile mixins - Bettini, Bono, Venneri (2004) (Correct)
No context found.
C. Fournet, G. Gonthier, J. J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents. In Proc. of CONCUR, volume 1119 of LNCS, pages 406--421. Springer, 1996.
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (16 citations) (Correct)
No context found.
C. Fournet, G. Gonthier, J-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In Proc. CONCUR, volume 1119 of Lecture notes in computer science. Springer-Verlag, 1996.
A Calculus of Mobile Resources - Jens Chr Godskesen (2002) (1 citation) (Correct)
No context found.
Cedric Fournet, Georges Gonthier, Jean-Jacques Levy, Luc Maranget, and Didier Remy. A calculus of mobile agents. In Ugo Montanari and Vladimiro Sassone, editors, Proceedings of CONCUR '96, volume 1119 of LNCS, pages 406--421. Springer, 1996.
A Calculus of Higher-Order Distributed Components - Stefani (2003) (7 citations) (Correct)
No context found.
C. Fournet, G. Gonthier, J.J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In In Proceedings 7th International Conference on Concurrency Theory (CONCUR `96), Lecture Notes in Computer Science 1119. Springer Verlag, 1996.
A Semantic Theory for Global Computing Systems - Daniele Gorla Rosario (2003) (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. L evy, L. Maranget, and D. R emy. A calculus of mobile agents. In Proceedings of CONCUR '96, volume 1119 of LNCS, pages 406--421. Springer, 1996.
Observational Congruences for Dynamically Reconfigurable .. - Bruni, Montanari.. (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, D. Remy, A calculus of mobile agents, in: U. Montanari, V. Sassone (Eds.), Proceedings of CONCUR'96, 7th International Conference on Concurrency Theory, Vol. 1119 of Lect. Notes in Comput. Sci., Springer Verlag, 1996, pp. 406--421.
An Infrastructure Language for Open Nets - Bettini, Loreti, Pugliese (2002) (2 citations) (Correct)
No context found.
C. Fournet, G. Gonthier, J. J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents. In U. Montanari and V. Sassone, editors, Proc. of 7th Int. Conf. on Concurrency Theory (CONCUR'96), volume 1119 of LNCS, pages 406--421. Springer-Verlag, 1996.
Security Policies as Membranes in Systems for Global Computing - Gorla, al. (2004) (Correct)
No context found.
C. Fournet, G. Gonthier, J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In Proc. of CONCUR'96, volume 1119 of LNCS, pages 406--421. Springer, 1996.
Orderly Communication in the Ambient Calculus - Amtoft, Kfoury, Pericas-Geertsen (2002) (Correct)
No context found.
Cedric Fournet, Georges Gonthier, Jean-Jacques Levy, Luc Maranget, and Didier Remy. A calculus of mobile agents. In CONCUR 1996.
Contextual Equivalence for Higher-Order P-Calculus Revisited - Alan Jeffrey Cti (Correct)
No context found.
C. Fournet, G. Gonthier, J-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In Proc. CONCUR, volume 1119 of Lecture notes in computer science. Springer-Verlag, 1996.
Unknown - (Correct)
No context found.
Cedric Fournet, Georges Gonthier, Jean-Jacques Levy, Luc Maranget, and Didier Remy. A calculus of mobile agents. In 7th International Conference on Concurrency Theory (CONCUR'96), pages 406--421, Pisa, Italy, August 26-29 1996. Springer-Verlag. LNCS 1119.
Open Nets, Contexts And Their Properties - De Nicola, Loreti (Correct)
No context found.
C. Fournet, G. Gonthier, J. J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents. In U. Montanari and V. Sassone, editors, Proc. of 7th Int. Conf. on Concurrency Theory (CONCUR'96), volume 1119 of Lecture Notes in Computer Science, pages 406--421. Springer-Verlag, 1996.
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (16 citations) (Correct)
No context found.
C. Fournet, G. Gonthier, J-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In Proc. CONCUR, volume 1119 of Lecture notes in computer science. Springer-Verlag, 1996.
Abstractions for Fault-Tolerant Global Computing - Chothia, Duggan (2004) (1 citation) (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, D. Remy, A calculus of mobile agents, in: 7th International Conference on Concurrency Theory (CONCUR'96), Springer-Verlag, Pisa, Italy, 1996, pp. 406--421, lNCS 1119.
A Logic You Can Count On - Zilio, Lugiez, Meyssonnier (2003) (2 citations) (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Lvy, L. Maranget, and D. Rmy. A calculus of mobile agents. In Conference on Concurrency Theory (CONCUR), volume 1119 of LNCS, pages 406421. Springer, 1996.
ULM - A Core Programming Model for Global Computing - Boudol (2004) (1 citation) (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. L evy, L. Maranget, D. R emy, A calculus of mobile agents, CONCUR'96, Lecture Notes in Comput. Sci. 1119 (####) 406-421.
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In Proc. of CONCUR'96, pages 406-421. Springer Verlag, 1996.
A Formal Framework for Agent Itinerary Specification, Security.. - Lu, Xu (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In Proceedings of Int'l Conference on Concurrency Theory (CONCUR'96), pages 406--421, 1996.
Pigeon : a Specification Language for Mobile Agent.. - Yasuyuki Tahara National (2004) (Correct)
No context found.
C. Fournet, G Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In Proc. of CONCUR'96, pages 406--421. Springer-Verlag, 1996.
History Dependent Automata - Montanari, Pistore (2001) (3 citations) (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In Proc. CONCUR'96, volume 1119 of LNCS. Springer Verlag, 1996.
Zero-safe net models for transactions in Linda - Bruni, Montanari (2001) (2 citations) (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. Proc. CONCUR'96, Lect. Notes in Comput. Sci. 1119, pp. 406--421. Springer, 1996.
Flat Committed Join in Join - Bruni, Melgratti, Montanari (2003) (Correct)
No context found.
Fournet, C., G. Gonthier, J.-J. Levy, L. Maranget and D. Remy, A calculus of mobile agents, in: U. Montanari and V. Sassone, editors, Proceedings of CONCUR'96, Lect. Notes in Comput. Sci. 1119 (1996), pp. 406--421.
Orchestrating Transactions in Join Calculus - Roberto Bruni Cosimo (2002) (4 citations) (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. Proc. of CONCUR'96, vol. 1119 of Lect. Notes in Comput. Sci., pp. 406--421. Springer, 1996.
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (2004) (Correct)
No context found.
Cedric Fournet, Georges Gonthier, Jean-Jacques Levy, Luc Maranget, and Didier Remy. A calculus of mobile agents. In Proc. 7th CONCUR, LNCS 1119, pages 406--421, 1996.
Open Nets, Contexts and Their Properties - De Nicola, Loreti (Correct)
No context found.
C. Fournet, G. Gonthier, J. J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents. In U. Montanari and V. Sassone, editors, Proc. of 7th Int. Conf. on Concurrency Theory (CONCUR'96), volume 1119 of Lecture Notes in Computer Science, pages 406--421. Springer-Verlag, 1996.
Information Flow vs. Resource Access in the Asynchronous.. - Hennessy, Riely (2000) (8 citations) (Correct)
No context found.
C. Fournet, G. Gonthier, J.J. Levy, L. Marganget, and D. Remy. A calculus of mobile agents. In U. Montanari and V. Sassone, editors, CONCUR: Proceedings of the International Conference on Concurrency Theory, volume 1119 of Lecture Notes in Computer Science, pages 406-421, Pisa, August 1996. Springer-Verlag.
Observational Congruences for Dynamically Reconfigurable .. - Bruni, Montanari.. (2003) (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, D. Remy, A calculus of mobile agents, in: U. Montanari, V. Sassone (Eds.), Proceedings of CONCUR'96, 7th International Conference on Concurrency Theory, Vol. 1119 of Lect. Notes in Comput. Sci., Springer Verlag, 1996, pp. 406--421.
Dynamic Input/Output Automata: a Formal Model for Dynamic Systems - Attie, Lynch (2003) (Correct)
No context found.
Cedric Fournet, Georges Gonthier, Jean-Jacques Levy, Luc Maranget, and Didier Remy. A calculus of mobile agents. In Proceedings of the 7th International Conference on Concurrency Theory (CONCUR'96), Springer-Verlag, LNCS 1119, pages 406-421, Aug. 1996.
KLAIM: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari.. (1998) (69 citations) (Correct)
No context found.
C. Fournet, G. Gonthier, J.-L. Levy, L. Maranget, D. Remy. A Calculus of Mobile Agents. CONCUR'96, Proceedings (U. Montanari, V. Sassone, Eds.), LNCS 1119, pp. 406-421, Springer, 1996.
MIKADO Global Computing Project IST-2001-32222 - Mobile Calculi Based (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. L evy, L. Maranget, and D. R emy. A calculus of mobile agents. In U. Montanari and V. Sassone, editors, Proceedings of CONCUR '96, volume 1119 of LNCS, pages 406--421. Springer, 1996.
Synthesising Labelled Transitions and Operational Congruences in.. - Leifer (2002) (7 citations) (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26--29, 1996, Proceedings, volume 1119 of Lecture Notes in Computer Science, pages 406--421. Springer-Verlag, 1996.
CODEWEAVE: Exploring Fine-Grained Mobility of Code - Cecilia Mascolo Gian (2000) (1 citation) (Correct)
No context found.
C. Fournet, G. Gonthier, J.J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents. In Proc. 7 Int. Conf. on Concurrency Theory (CONCUR '96), volume 1119 of LNCS. Springer, 1996.
Relating Cryptography and Polymorphism - Benjamin Pierce Eijiro (2000) (Correct)
No context found.
C'edric Fournet, Georges Gonthier, Jean-Jacques L'evy, Luc Maranget, and Didier R'emy. A calculus of mobile agents. In CONCUR '96, volume 1119, pages 406--421, 1996.
Centralized and Distributed Orchestration of.. - Bruni, Laneve, Montanari (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. Proc. of CONCUR'96, vol. 1119 of Lect. Notes in Comput. Sci., pp. 406--421. Springer, 1996.
Formalisms for Mobile Resource Control - Teller (2004) (1 citation) (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In Proceedings of the 7th International Conference on Concurrency Theory (CONCUR'96), pages 406--421. Springer-Verlag, 1996.
A Semantic Theory for Global Computing Systems - Daniele Gorla Rosario (2003) (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. L evy, L. Maranget, and D. R emy. A calculus of mobile agents. In Proceedings of CONCUR '96, volume 1119 of LNCS, pages 406--421. Springer, 1996.
O'KLAIM: a coordination language with mobile mixins - Bettini, Bono, Venneri (2004) (Correct)
No context found.
C. Fournet, G. Gonthier, J. J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents. In U. Montanari and V. Sassone, editors, Proc. of 7th Int. Conf. on Concurrency Theory (CONCUR'96), volume 1119 of LNCS, pages 406--421. Springer-Verlag, 1996.
Mobile Processes: a Commented Bibliography - Zilio (2001) (2 citations) (Correct)
No context found.
Cdric Fournet, Georges Gonthier, Jean-Jacques Lvy, Luc Maranget, Didier Rmy; A Calculus of Mobile Agents. In Proc. of CONCUR, Springer LNCS 1119 (1996) 406421
A Distributed Calculus for R ole-Based Access Control - Chiara Braghin Daniele (2004) (2 citations) (Correct)
No context found.
C. Fournet, G. Gonthier, J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In Proc. of CONCUR'96, volume 1119 of LNCS, pages 406--421. Springer, 1996.
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2001) (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In CONCUR 1996, vol. 1119 of LNCS, pp. 406--421. Springer-Verlag, 1996.
Information Society Technologies - Ist Programme Contract (Correct)
No context found.
C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In 7th International Conference on Concurrency Theory (CONCUR'96), volume 1119 of Lecture Notes in Computer Science, pages 406--421, Pisa, Italy, August 26-29 1996. Springer.
The Klaim Project: Theory and Practice - Bettini, Bono, De Nicola.. (2003) (1 citation) (Correct)
No context found.
C. Fournet, G. Gonthier, J. J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents. In U. Montanari and V. Sassone, editors, Proc. of 7th Int. Conf. on Concurrency Theory (CONCUR'96), volume 1119 of LNCS, pages 406--421. Springer-Verlag, 1996.
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