D. Teller, P. Zimmer, and D. Hirschko . Using Ambients to Control Resources. Technical Report 2002-16, LIP - ENS Lyon, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) Self-citation (Teller Zimmer Hirschko) (Correct)
No context found.
D. Teller, P. Zimmer, and D. Hirschko . Using Ambients to Control Resources. Technical Report 2002-16, LIP - ENS Lyon, 2002.
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) Self-citation (Teller Zimmer Hirschko) (Correct)
No context found.
D. Teller, P. Zimmer, and D. Hirschko . Using Ambients to Control Resources. Technical Report 2002-16, LIP - ENS Lyon, 2002.
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2004) (32 citations) Self-citation (Teller Zimmer Hirschko) (Correct)
No context found.
Teller D, Zimmer P, Hirschko# D (2002) Using ambients to control resources. In: Proceedings of CONCUR'02. Lecture notes in computer science. Springer, Berlin Heidelberg New York
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) Self-citation (Teller Zimmer Hirschko) (Correct)
No context found.
D. Teller, P. Zimmer, and D. Hirschko#. Using Ambients to Control Resources. In Proc. of CONCUR'02, LNCS. Springer Verlag, 2002.
Recovering Resources in the π-Calculus - Teller Self-citation (Teller) (Correct)
No context found.
D. Teller, P. Zimmer, and D. Hirschko#. Using Ambients to Control Resources. In Proc. of CONCUR'02, volume 2421 of LNCS. Springer-Verlag, 2002.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (7 citations) (Correct)
No context found.
D. Teller, P. Zimmer, D. Hirschkoff. Using ambients to control resources. In CONCUR '02, vol. 2421 of LNCS. Springer-Verlag, 2002.
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2003) (6 citations) (Correct)
No context found.
D. Teller, P. Zimmer, and D. Hirschko#.. Using Ambients to Control Resources. In Proceedings CONCUR 02, 2002.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2003) (7 citations) (Correct)
No context found.
D. Teller, P. Zimmer, D. Hirschkoff. Using ambients to control resources. In CONCUR '02, vol. 2421 of LNCS. Springer-Verlag, 2002.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (7 citations) (Correct)
No context found.
Teller, D., Zimmer, P., and Hirschkoff, D. (2002). Using ambients to control resources. In CONCUR'02, volume 2421 of LNCS, pages 288--303. SpringerVerlag. Turner, D. N. (1995). The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, University of Edinburgh. Report no ECS-LFCS-96-345.
A Calculus of Bounded Capacities - Barbanera, Bugliesi.. (2003) (384 citations) (Correct)
No context found.
D. Teller, P. Zimmer, and D. Hirschkoff. Using ambients to control resources. In L. Brim, P. Jan car, M. K retnsk y, and A. Ku cera, editors, CONCUR'02, volume 2421 of LNCS, pages 288--303, Berlin, 2002. Springer-Verlag.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2003) (7 citations) (Correct)
No context found.
D. Teller, P. Zimmer, D. Hirschko#. Using ambients to control resources. In CONCUR'02, vol. 2421 of LNCS. Springer-Verlag, 2002.
A Calculus of Bounded Capacities - Barbanera, Bugliesi, al. (2003) (384 citations) (Correct)
No context found.
Teller, David, Zimmer, Pascal, & Hirschkoff, Daniel. (2002). Using ambients to control resources. Pages 288--303 of: Brim, L., Jan car, P., K retnsk y, M., & Ku cera, A. (eds), CONCUR'02. Lecture Notes in Computer Science, vol. 2421. Springer-Verlag.
A Calculus of Higher-Order Distributed Components - Stefani (2003) (7 citations) (Correct)
No context found.
D. Teller, P. Zimmer, and D. Hirschkoff. Using Ambients to Control Resources. In to appear in Proceedings CONCUR 02, 2002.
Mobile Processes with Dependent Communication Types and.. - Amtoft, Wells (2002) (7 citations) (Correct)
No context found.
D. Teller, P. Zimmer, D. Hirschko#. Using ambients to control resources. In CONCUR'02, vol. 2421 of LNCS. Springer-Verlag, 2002.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
D. Teller, P. Zimmer, and D. Hirschkoff. Using ambients to control resources. In L. Brim, P. Jan car, M. K retnsk y, and A. Ku cera, editors, CONCUR'02, volume 2421 of LNCS, pages 288--303, Berlin, 2002. Springer-Verlag.
A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (9 citations) (Correct)
No context found.
D. Teller, P. Zimmer, and D. Hirschko#. Using ambients to control resources. In CONCUR'02,volume 2421 of LNCS, pages 288--303. Springer, 2002.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
D. Teller, P. Zimmer, and D. Hirschkoff. Using ambients to control resources. In L. Brim, P. Jan car, M. K retnsk y, and A. Ku cera, editors, CONCUR'02, volume 2421 of LNCS, pages 288--303, Berlin, 2002. Springer-Verlag.
Mobile Processes with Dependent Communication Types and.. - Amtoft, Wells (2002) (7 citations) (Correct)
No context found.
D. Teller, P. Zimmer, D. Hirschko#. Using ambients to control resources. In CONCUR'02, vol. 2421 of LNCS. Springer-Verlag, 2002.
When Ambients Cannot be Opened - Boneva, Talbot (2003) (1 citation) (Correct)
No context found.
D. Teller, P. Zimmer, and D. Hirschkoff. Using ambients to control resources. In CONCUR 2002---Concurrency Theory, LNCS 2421, pages 288--303. Springer, 2002.
A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (9 citations) (Correct)
No context found.
D. Teller, P. Zimmer, and D. Hirschko#. Using ambients to control resources. In CONCUR'02, volume 2421 of LNCS, pages 288--303. Springer, 2002.
Profundis: - Periodic Progress Report (Correct)
No context found.
D. Teller, P. Zimmer, and D. Hirschko . Using Ambients to Control Resources. In Proceedings of the 13th Int. Conf. in Concurrency Theory (CONCUR'02), volume 2421 of LNCS, pages 288-303. Springer Verlag, 2002.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
D. Teller, P. Zimmer, and D. Hirschkoff. Using ambients to control resources. In L. Brim, P. Jan car, M. K retnsk y, and A. Ku cera, editors, CONCUR'02, volume 2421 of LNCS, pages 288--303, Berlin, 2002. Springer-Verlag.
The Kell calculus: operational semantics and type system - Bidinger, Stefani (Correct)
No context found.
D. Teller, P. Zimmer, and D. Hirschkoff. Using Ambients to Control Resources. In Proceedings CONCUR 02, 2002.
Formalisms for Mobile Resource Control - Teller (2004) (1 citation) (Correct)
No context found.
D. Teller, P. Zimmer, and D. Hirschko#. Using Ambients to Control Resources. In Proc. of CONCUR'02, volume 2421 of LNCS. Springer Verlag, 2002.
Ist-2001-33234 - Peer-To-Peer Implementation And (Correct)
No context found.
D. Teller, P. Zimmer, and D. Hirschkoff. Using Ambients to Control Resources. In Proceedings CONCUR 02, 2002.
First 50 documents
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