F. Levi and D. Sangiorgi. Controlling interference in ambients. In Proceedings POPL'00, pages 352-364. ACM, 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Math. Struct. in Comp. Science (2003), vol. 13, pp.. - Cambridge University Press Self-citation (Sangiorgi) (Correct)
No context found.
Levi, F. and Sangiorgi, D. (2000) Controlling Interference in Ambients. In: Proceedings of POPL'00, ACM Press. Merro, M. (1999) On Equators in Asynchronous Name-Passing Calculi without Matching. In: Proceedings of EXPRESS'99. Electronic Notes in Theoretical Science 27,Elsevier.
Types for the Ambient Calculus - Luca Cardelli And (2002) (13 citations) (Correct)
No context found.
F. Levi and D. Sangiorgi. Controlling interference in ambients. In Proceedings POPL'00, pages 352-364. ACM, 2000.
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) (Correct)
No context found.
F. Levi and D. Sangiorgi. Controlling interference in ambients. In Symposium on Principles of Programming Languages, pages 352-364. ACM Press, 2000.
A Parametric Model for the Analysis of Mobile Ambients - Distefano (2005) (Correct)
No context found.
F. Levi and D. Sangiorgi. Controlling interference in ambients. In POPL 2000, pp. 352--364. ACM Press, 2000.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (7 citations) (Correct)
No context found.
F. Levi, D. Sangiorgi. Controlling interference in ambients. In POPL'00, Boston, Massachusetts. ACM Press, 2000.
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2003) (6 citations) (Correct)
No context found.
F. Levi and D. Sangiorgi. Controlling interference in ambients. In Proceedings 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2000.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2003) (7 citations) (Correct)
No context found.
F. Levi, D. Sangiorgi. Controlling interference in ambients. In POPL'00, Boston, Massachusetts. ACM Press, 2000.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (7 citations) (Correct)
No context found.
Levi, F. and Sangiorgi, D. (2000). Controlling interference in ambients. In POPL'00, Boston, Massachusetts, pages 352--364. ACM Press.
Causal Type System for Ambient Movements - Amtoft (2003) (Correct)
No context found.
F. Levi and D. Sangiorgi. Controlling interference in ambients. In POPL'00, Boston, Massachusetts, pp. 352--364. ACM Press, Jan. 2000. 2 30
A Calculus of Bounded Capacities - Barbanera, Bugliesi.. (2003) (384 citations) (Correct)
No context found.
F. Levi and D. Sangiorgi. Controlling interference in ambients. In POPL'00, pages 352--364, New York, 2000. ACM Press.
A Calculus of Bounded Capacities - Barbanera, Bugliesi.. (2003) (384 citations) (Correct)
No context found.
F. Levi and D. Sangiorgi. Controlling interference in Ambients. In POPL'00, pages 352--364. ACM Press, New York, 2000.
Causal Type System for Ambient Movements - Amtoft (2002) (Correct)
No context found.
F. Levi and D. Sangiorgi. Controlling interference in ambients. In POPL'00, Boston, Massachusetts, pp. 352--364. ACM Press, Jan. 2000.
M³: Mobility Types for Mobile Processes in.. - Coppo.. (2002) (Correct)
No context found.
F. Levi and D. Sangiorgi. Controlling interference in ambients. In POPL'00, pages 352--364, New York, 2000. ACM Press.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2003) (7 citations) (Correct)
No context found.
F. Levi, D. Sangiorgi. Controlling interference in ambients. In POPL'00, Boston, Massachusetts. ACM Press, 2000. 17
The M³ Paradigm - Types and Type Inference.. - Coppo.. (Correct)
No context found.
Francesca Levi and Davide Sangiorgi. Controlling interference in Ambients. In POPL'00, pages 352--364. ACM Press, New York, 2000.
The M³ Paradigm - Types and Type Inference.. - Coppo.. (Correct)
No context found.
Francesca Levi and Davide Sangiorgi. Controlling interference in ambients. In POPL'00, pages 352--364, New York, 2000. ACM Press.
A Calculus of Bounded Capacities - Barbanera, Bugliesi, al. (2003) (384 citations) (Correct)
No context found.
Levi, Francesca, & Sangiorgi, Davide. (2003). Controlling interference in Ambients. Transactions on Programming Languages and Systems, 25(1), 1--69.
A Calculus of Mobile Resources - Jens Chr Godskesen (2002) (1 citation) (Correct)
No context found.
Francesca Levi and Davide Sangiorgi. Controlling interference in ambients. In Proceedings of POPL '00 [2], pages 352--364.
Causal Type System for Ambient Movements - Amtoft (2001) (Correct)
No context found.
F. Levi and D. Sangiorgi. Controlling interference in ambients. In POPL'00, Boston, Massachusetts, pp. 352-364. ACM Press, Jan. 2000.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2005) (2 citations) (Correct)
No context found.
F. Levi, D. Sangiorgi. Controlling interference in ambients. In POPL'00, Boston, Massachusetts. ACM Press, 2000.
A Calculus of Higher-Order Distributed Components - Stefani (2003) (7 citations) (Correct)
No context found.
F. Levi and D. Sangiorgi. Controlling interference in ambients. In Proceedings 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2000.
Communication and Mobility Control in Boxed Ambients - Bugliesi, Crafa, Merro.. (2003) (5 citations) (Correct)
No context found.
F. Levi and D. Sangiorgi. Controlling interference in Ambients. In Proceedins of POPL'00, pages 352--364. ACM Press, 2000.
IMC: Flexible Communication Protocol Support for Implementing.. - Lacoste (Correct)
No context found.
LEVI, F. AND SANGIORGI, D. 2000. Controlling Interference in Ambients. In Proc. 27th ACM Symposium on Principles of Programming Languages (POPL'00). ACM Press, Boston, Massachusetts (USA), 352--364.
A Type Inference Algorithm for Secure Ambients - Barbanera.. (2002) (2 citations) (Correct)
No context found.
Francesca Levi and Davide Sangiorgi. Controlling interference in ambients. In POPL'00, pages 352--364. ACM Press, 2000.
Mobile Processes with Dependent Communication Types and.. - Amtoft, Wells (2002) (7 citations) (Correct)
No context found.
F. Levi, D. Sangiorgi. Controlling interference in ambients. In POPL'00, Boston, Massachusetts. ACM Press, 2000.
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