Torben Amtoft, J. B. Wells  Home/Search
Context Related
| ksu.edu/~tamtoft/Papers/Amt...short1.ps Cached: PS.gz PS 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.
Image Update HelpPS.gz PS PDF From: ksu.edu/~tamtoft/Papers/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: There are many calculi for reasoning about concurrent communicating processes which have locations and are mobile. Examples include the original Ambient Calculus and its many variants, the Seal Calculus, the MR-calculus, the M-calculus, etc. It is desirable to use such calculi to describe the behavior of mobile agents. It seems reasonable that mobile agents should be able to follow non-predetermined paths and to carry non-predetermined types of data from location to location, collecting and... (Update)
Cited by: More
Unknown - Ist- Dynamic Assembly (Correct)
A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (Correct)
Active bibliography (related documents): More All
0.7: Mobile Processes with Dependent Communication Types and.. - Amtoft, Wells (2002) (Correct)
0.7: PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2003) (Correct)
0.2: Causal Type System for Ambient Movements - Amtoft (2003) (Correct)
Similar documents based on text: More All
0.2: Faithful Translations between Polyvariant Flows and.. - Amtoft, Turbak (2000) (Correct)
0.2: Type Inference for PolyA - Makholm, Wells (2004) (Correct)
0.2: Type and Behaviour Reconstruction for Higher-Order.. - Amtoft, Nielson, Nielson (1995) (Correct)
Related documents from co-citation: More All
7: Mobility types for mobile processes in mobile ambients (context) - Coppo, Dezani-Ciancaglini et al. - 2003
4: A Calculus of Bounded Capacities - Barbanera, Bugliesi et al. - 2003
4: Secrecy and group creation - Cardelli, Ghelli et al. - 2000
BibTeX entry: (Update)
T. Amtoft and J. Wells. Mobile processes with dependent communication types and singleton types for names and capabilities. Technical Report 2002-3, Kansas State University, 2002. http://citeseer.ist.psu.edu/article/amtoft02mobile.html More
@misc{ amtoft02mobile,
author = "T. Amtoft and J. Wells",
title = "Mobile processes with dependent communication types and singleton types
for names and capabilities",
text = "T. Amtoft and J. Wells. Mobile processes with dependent communication types
and singleton types for names and capabilities. Technical Report 2002-3,
Kansas State University, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/article/amtoft02mobile.html" }
Citations (may not include all citations):410 Mobile ambients - Cardelli, Gordon - 1998
178 Communicating and Mobile Systems: The #-Calculus (context) - Milner - 1999
144 Controlling interference in ambients - Levi, Sangiorgi - 2000
126 Types for mobile ambients - Cardelli, Gordon - 1999
94 Seal: A framework for secure mobile computations - Vitek, Castagna - 1999
88 Mobility types for mobile ambients - Cardelli, Ghelli et al. - 1999
73 The reflexive chemical abstract machine and the join-calculu.. (context) - Fournet, Gonthier - 1996
69 Boxed ambients - Bugliesi, Castagna et al. - 2001
57 Comparing Galoi connection and wideningnarrowing approache t.. - Comparing, connection et al. - 1992
45 Communication interference in mobile boxed ambients - Bugliesi, Crafa et al. - 2002
41 Using ambients to control resources - Teller, Zimmer et al. - 2002
37 What are polymorphically-typed ambients - Amtoft, Kfoury et al. - 2001
30 Shape analysis for mobile ambients - Nielson, Nielson - 2000
26 Subtyping and typing algorithms for mobile ambients - Zimmer - 2000
17 A Kleene analysis of mobile ambients - Nielson, Nielson et al. - 2000
15 An abstract interpretation framework for analysing mobile am.. (context) - Levi, Ma - 2001
10 A fully abstract model for higher-order mobile ambients (context) - Coppo, Dezani-Ciancaglini - 2002
7 Orderly communication in the ambient calculus - Amtoft, Kfoury et al. - 2002
6 A theory of second-order trees (context) - Glew - 2002
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.ksu.edu/~tamtoft/Papers/papers.html): More
Inferring Annotated Types for Inter-procedural Register.. - Amtoft, Muller (2002) (Correct)
Local Type Reconstruction by Means of Symbolic Fixed Point.. - Amtoft (1994) (Correct)
Polymorphic Subtyping for Effect Analysis: the Static.. - Nielson, Nielson, Amtoft (1997) (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