Torben Amtoft, Henning Makholm, J. B. Wells  Home/Search
Context Related
| macs.hw.ac.uk/~jbw...ients:TCS2004.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: macs.hw.ac.uk/~jbw/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Previous type systems for mobility calculi (the original Mobile Ambients, its variants and descendants, e.g., Boxed Ambients and Safe Ambients, and other related systems) offer little support for generic mobile agents. Previous systems either do not handle communication at all or globally assign fixed communication types to ambient names that do not change as an ambient moves around or interacts with other ambients. This makes it hard to type examples such as a messenger ambient that uses... (Update)
Cited by: More
Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004) (Correct)
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (Correct)
Unknown - Ist- Dynamic Assembly (Correct)
Active bibliography (related documents): More All
0.5: Mobile Processes with Dependent Communication Types and.. - Amtoft, Wells (2002) (Correct)
0.4: Causal Type System for Ambient Movements - Amtoft (2003) (Correct)
0.2: Ambient Calculi with Types: a Tutorial - Giovannetti (2003) (Correct)
Similar documents based on text:
4.0: Unknown - (Correct)
Related documents from co-citation: More All
14: Mobility types for mobile processes in mobile ambients (context) - Coppo, Dezani-Ciancaglini et al. - 2003
10: Mobility types for mobile ambients - Cardelli, Ghelli et al. - 1999
9: Instant polymorphic type systems for mobile process calculi: Just add reduction .. - Makholm, Wells - 2004
BibTeX entry: (Update)
Torben Amtoft, Henning Makholm, and Joe B. Wells. PolyA: True Type Polymorphism for Mobile Ambients. In TCS'04, 2004. to appear. http://citeseer.ist.psu.edu/amtoft04polya.html More
@misc{ amtoft04polya,
author = "T. Amtoft and H. Makholm and J. Wells",
title = "PolyA: True Type Polymorphism for Mobile Ambients",
text = "Torben Amtoft, Henning Makholm, and Joe B. Wells. PolyA: True Type Polymorphism
for Mobile Ambients. In TCS'04, 2004. to appear.",
year = "2004",
url = "citeseer.ist.psu.edu/amtoft04polya.html" }
Citations (may not include all citations):410 Mobile ambients - Cardelli, Gordon - 1998 ACM DBLP
388 On understanding types (context) - Cardelli, Wegner - 1985
144 Controlling interference in ambients - Levi, Sangiorgi - 2000 ACM DBLP
126 Types for mobile ambients - Cardelli, Gordon - 1999
114 The Polymorphic Pi-Calculus: Theory and Implementation - Turner - 1995
88 Mobility types for mobile ambients - Cardelli, Ghelli et al. - 1999
75 The essence of principal typings - Wells - 2002
69 Boxed ambients - Bugliesi, Castagna et al. - 2001
56 Behavioral equivalence in the polymorphic pi-calculus - Pierce, Sangiorgi - 2000 ACM DBLP
41 Using ambients to control resources - Teller, Zimmer et al. - 2002 ACM DBLP
37 What are polymorphically-typed ambients - Amtoft, Kfoury et al. - 2001
28 Mobility types for mobile processes in mobile ambients (context) - Coppo, Dezani-Ciancaglini et al. - 2003 DBLP
26 Subtyping and typing algorithms for mobile ambients - Zimmer - 2000 ACM DBLP
19 Communicating and Mobile Systems: The p-Calculus (context) - Milner - 1999
17 A Kleene analysis of mobile ambients - Nielson, Nielson et al. - 2000 ACM DBLP
15 PolyA: True type polymorphism for Mobile Ambients - Amtoft, Makholm et al. - 2004
15 An abstract interpretation framework for analysing mobile am.. (context) - Levi, Maffeis - 2001
10 A fully abstract model for higher-order mobile ambients (context) - Coppo, Dezani-Ciancaglini - 2002
9 A dependently typed ambient calculus - Lhoussaine, Sassone - 2004 DBLP
7 Orderly communication in the ambient calculus - Amtoft, Kfoury et al. - 2002 DBLP
5 A preliminary version appeared at POPL (context) - Nielson, Nielson et al. - 2001
4 Technical Report HW-MACS-TR (context) - Makholm, Wells et al. - 2004
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.macs.hw.ac.uk/~jbw/papers/): More
Call-by-Value Mixin Modules - Reduction Semantics, Side.. - Hirschowitz, Leroy.. (2004) (Correct)
Principality and Type Inference for Intersection Types Using.. - Kfoury, Wells (2003) (Correct)
On the Implementation of Recursion in Call-By-Value.. - Hirschowitz, al. (2003) (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