| Alternate document: Details Global/Local Subtyping for a Distributed π-calculus (97) Peter Sewell |
Peter Sewell  Home/Search
Context
Related
| cl.cam.ac.uk/users...ballocal.cmr.ps.gz cl.cam.ac.uk/users...oballocal.ch.ps.gz cl.cam.ac.uk/~pes2...ballocal.cmr.ps.gz 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: cl.cam.ac.uk/users/pes20/ (more) From: cl.cam.ac.uk/~adg/Researc...index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In the design of mobile agent programming languages there is a tension between the implementation cost and the expressiveness of the communication mechanisms provided. This paper gives a static type system for a distributed ß-calculus in which the input and output capabilities of channels may be either global or local. This allows compile-time optimization where possible but retains the expressiveness of channel communication. Subtyping allows all communications to be invoked uniformly.... (Update)
Similar documents (at the sentence level):
74.5%: Global/Local Subtyping for a Distributed π-calculus - Sewell (1997) (Correct)
17.1%: Global/Local Subtyping and Capability Inference for a Distributed .. - Sewell (1998) (Correct)
Active bibliography (related documents): More All
0.3: Linearity and the Pi-Calculus - Kobayashi, Pierce, Turner (1998) (Correct)
0.3: A Process-Calculus Approach to Typed Concurrent Objects - Vasco Thudichum (1994) (Correct)
0.2: Typed Concurrent Objects - Vasconcelos (1994) (Correct)
Similar documents based on text: More All
0.1: Nomadic Pict: Language and Infrastructure Design for Mobile.. - Wojciechowski (2000) (Correct)
0.0: A Simple View of Type-Secure Information Flow in the π-Calculus - Pottier (2002) (Correct)
0.0: Critical Facets of the Stable Set Polytope - Lipták, Lovász (1999) (Correct)
BibTeX entry: (Update)
@misc{ sewell-globallocal,
author = "Peter Sewell",
title = "Global/Local Subtyping for a Distributed π-calculus",
url = "citeseer.ist.psu.edu/sewell97globallocal.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
200 Pict: A programming language based on the pi-calculus - Pierce, Turner - 1997
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
114 The Polymorphic Pi-calculus: Theory and Implementation - Turner - 1996
108 Linearity and the picalculus - Kobayashi, Pierce et al. - 1996
89 Calculi for interaction - Milner - 1996
86 A partially deadlock-free typed process calculus - Kobayashi - 1997
70 On asynchronous communication semantics - Honda, Tokoro - 1992
42 Distributed processes and location failures - Riely, Hennessy - 1997
38 Mobile Object Systems -- Towards the Programmable Internet (context) - Vitek, Tschudin - 1997
34 Static analysis of communication for asynchronous concurrent.. - Kobayashi, Nakade et al. - 1995
31 A calculus with code mobility - Sekiguchi, Yonezawa - 1997
28 On implementations and semantics of a concurrent programming.. - Sewell - 1997
23 Higher-order concurrent programs with finite communication t.. (context) - Nielson, Nielson - 1994
22 Functional computation as concurrent computation - Niehren - 1996
20 Polarized name passing (context) - Odersky - 1995
15 and Tsung-Min Kuo (context) - Thomsen, Leth - 1996
14 Static and dynamic processor allocation for higher-order con.. - Nielson, Nielson - 1995
12 Principal typing schemes in a polyadic ß-calculus (context) - Vasconcelos, Honda - 1993
9 An interpretation of typed objects into typed ß-calculus (context) - Sangiorgi - 1996
7 Typing confluence - Nestmann, Steffen - 1997
7 A polymorphic type system for the polyadic ß-calculus (context) - Liu, Walker - 1995
6 Detecting local channels in distributed Poly/ML (context) - Steckler - 1996
5 Predicative polymorphism in ß-calculus (context) - Vasconcelos - 1994
2 Behavioural equivalence in the polymorphic picalculus (context) - Pierce, Sangiorgi - 1997
2 Inferring effect types in an applicative language with async.. - Kleist, Hansen et al. - 1995
Documents on the same site (http://www.cl.cam.ac.uk/users/pes20/): More
On Implementations and Semantics of a Concurrent Programming.. - Sewell (1997) (Correct)
Design Rules and Abstractions (from branching and real time) - Sewell (1996) (Correct)
Location Independence for Mobile Agents - Sewell (1998) (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