R. M. Amadio. An asynchronous model of locality, failure, and process mobility. In Proc. COORDINATION 97, LNCS 1282, 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Secure Composition of Insecure Components - Sewell, Vitek (1999) (23 citations) (Correct)
No context found.
R. M. Amadio. An asynchronous model of locality, failure, and process mobility. In Proc. COORDINATION 97, LNCS 1282, 1997.
Secure Composition of Insecure Components - Peter Sewell Computer (Correct)
No context found.
R. M. Amadio. An asynchronous model of locality, failure, and process mobility. In Proc. COORDINATION 97, LNCS 1282, 1997.
Mobility Types for Mobile Ambients - Cardelli, Ghelli, Gordon (1999) (79 citations) (Correct)
No context found.
R. M. Amadio. An asynchronous model of locality, failure, and process mobility. In Proceedings COORDINATION 97, volume 1282 of Lecture Notes in Computer Science. Springer, 1997. 26
Equational Properties of Mobile Ambients - Gordon, Cardelli (1999) (35 citations) (Correct)
No context found.
R. M. Amadio. An asynchronous model of locality, failure, and process mobility. In Proceedings COORDINATION 97, volume 1282 of Lecture Notes in Computer Science. Springer-Verlag, 1997.
Types for the Ambient Calculus - Luca Cardelli And (2002) (13 citations) (Correct)
No context found.
R. M. Amadio. An asynchronous model of locality, failure, and process mobility. In Proceedings COORDINATION 97, volume 1282 of Lecture Notes in Computer Science. Springer, 1997.
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2003) (6 citations) (Correct)
No context found.
R. Amadio. An asynchronous model of locality, failure, and process mobility. Technical report, INRIA Research Report RR-3109, INRIA Sophia-Antipolis, France, 1997.
A Calculus of Kells - Stefani (2003) (2 citations) (Correct)
No context found.
R. Amadio. An asynchronous model of locality, failure, and process mobility. Technical report, INRIA Research Report RR-3109, INRIA Sophia-Antipolis, France, 1997.
A Generic Membrane Model - Boudol (2004) (3 citations) (Correct)
No context found.
R. Amadio, An asynchronous model of locality, failure, and process mobility, COORDINATION'97, Lecture Notes in Comput. Sci. 1282 (####).
A Calculus of Higher-Order Distributed Components - Stefani (2003) (7 citations) (Correct)
No context found.
R. Amadio. An asynchronous model of locality, failure, and process mobility. Technical report, INRIA Research Report RR-3109, INRIA Sophia-Antipolis, France, 1997.
The Kell calculus: operational semantics and type system - Bidinger, Stefani (Correct)
No context found.
R. Amadio. An asynchronous model of locality, failure, and process mobility. Technical report, INRIA Research Report RR-3109, INRIA Sophia-Antipolis, France, 1997.
Reasoning about Code Mobility with Mobile UNITY - Picco, Roman, McCann (1999) (2 citations) (Correct)
No context found.
Amadio, R. 1997. An Asynchronous Model of Locality, Failure, and Process Mobility. In D. Garlan and D. L. M etayer Eds., Proc. of the 2
Reasoning about Code Mobility with Mobile UNITY - Picco, Roman, McCann (1999) (2 citations) (Correct)
No context found.
Amadio, R. 1997. An Asynchronous Model of Locality, Failure, and Process Mobility. In D. Garlan and D. L. M etayer Eds., Proc. of the 2
Linear Forwarders - Gardner, Laneve, Wischik (2003) (Correct)
No context found.
R. Amadio. An asynchronous model of locality, failure, and process mobility. In COORDINATION 1997, LNCS 1282:374--391.
Integrating Agent Communication Languages in Open Services.. - Dragoni, Gaspari (2003) (Correct)
No context found.
R.M. Amadio. An asynchronous model of locality, failure, and process mibility. In COORDINATION 97, SLNCS 1282, Berlin, 1997.
Process Calculi for the Foundations of - Peer-To-Peer Systems Johannes (Correct)
No context found.
Roberto M. Amadio. An asynchronous model of locality, failure, and process mobility. In D. Garlan and D[aniel] Le Metayer, editors, Proceedings of COORDINATION '97, volume 1282 of LNCS. Springer, 1997. Extended version as Rapport de Recherche RR-3109, INRIA Sophia-Antipolis, 1997.
MIKADO Global Computing Project IST-2001-32222 - Mobile Calculi Based (Correct)
No context found.
R. M. Amadio. An asynchronous model of locality, failure, and process mobility. In D. Garlan and D. Le Metayer, editors, Proceedings of COORDINATION '97, volume 1282 of LNCS. Springer, 1997.
What is a `Good' Encoding of Guarded Choice? - Nestmann (1997) (Correct)
No context found.
R. M. Amadio. An Asynchronous Model of Locality, Failure, and Process Mobility. In Proceedings of COORDINATION '97, 1997. To appear.
CODEWEAVE: Exploring Fine-Grained Mobility of Code - Cecilia Mascolo Gian (2000) (1 citation) (Correct)
No context found.
R. Amadio. An Asynchronous Model of Locality, Failure, and Process Mobility. In Proc. of the 2 Int. Conf. on Coordination Models and Languages (COORDINATION '97), volume 1282 of LNCS. Springer, 1997.
The Kell calculus: operational semantics and type system - Bidinger, Stefani (Correct)
No context found.
R. Amadio. An asynchronous model of locality, failure, and process mobility. Technical report, INRIA Research Report RR-3109, INRIA Sophia-Antipolis, France, 1997.
Ist-2001-33234 - Peer-To-Peer Implementation And (Correct)
No context found.
R. Amadio. An asynchronous model of locality, failure, and process mobility. Technical report, INRIA Research Report RR-3109, INRIA Sophia-Antipolis, France, 1997.
Bisimulations in the Join-Calculus - Fournet, Laneve (2001) (1 citation) (Correct)
No context found.
R. M. Amadio. An asynchronous model of locality, failure, and process mobility. In COORDINATION'97, volume 1282 of LNCS. Springer-Verlag, 1997.
A Calculus of Kells - Jean-Bernard Stefani Inria (2003) (2 citations) (Correct)
No context found.
R. Amadio. An asynchronous model of locality, failure, and process mobility. Technical report, INRIA Research Report RR-3109, INRIA Sophia-Antipolis, France, 1997.
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2002) (6 citations) (Correct)
No context found.
R. Amadio. An asynchronous model of locality, failure, and process mobility. Technical report, INRIA Research Report RR-3109, INRIA Sophia-Antipolis, France, 1997. 20
Electronic Notes in Theoretical Computer Science 39 No. 1 (2000) - Url Http Www (Correct)
No context found.
Roberto M. Amadio. An asynchronous model of locality, failure, and process mobility. In Proc. of COORDINATION 97, volume 1282 of LNCS. Springer Verlag, Berlin, 1997.
Basic Theory of Reduction Congruence for Two Timed Asynchronous.. - Berger (2004) (Correct)
No context found.
Amadio, R. M. An asynchronous model of locality, failure, and process mobility. In Proc. COORDINATION 97 (1997), vol. 1282 of LNCS.
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