Peter Sewell  Home/Search
Context Related
| cl.cam.ac.uk/users...ocalmediumcmr.ps cl.cam.ac.uk/~pes2...ocalmediumcmr.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: cl.cam.ac.uk/users/pes20/ (more) From: cl.cam.ac.uk/~pes20/index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper considers how locality restrictions on the use of capabilities can be enforced by a static type system. A distributed ß-calculus with a simple reduction semantics is introduced, integrating location and migration primitives from the Distributed Join Calculus with asynchronous ß communication. It is given a type system in which the input and output capabilities of channels may be either global, local or absent. This allows compile-time optimization where possible but retains the... (Update)
Cited by: More
From Rewrite Rules to Bisimulation - Congruences Peter Sewell (Correct)
Unknown - (Correct)
Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
Similar documents (at the sentence level):
42.5%: Global/Local Subtyping for a Distributed π-calculus - Sewell (1997) (Correct)
Active bibliography (related documents): More All
0.2: Foundations of Distributed Programming Languages - Sewell (1998) (Correct)
0.2: Control Flow Analysis for the pi-calculus - Bodei, Degano, Nielson, Nielson (1998) (Correct)
0.2: Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (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)
Related documents from co-citation: More All
22: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
22: Resource access control in systems of mobile agents - Hennessy, Riely - 1998
20: A typed language for distributed mobile processes - Riely, Hennessy - 1998
BibTeX entry: (Update)
P. Sewell. Global/local subtyping and capability inference for a distributed -calculus. In S. Skyum K. G. Larsen and G. Winskel, editors, Proceedings of ICALP '98, volume 1443 of LNCS. Springer Verlag, 1998. http://citeseer.ist.psu.edu/local98globallocal.html More
@article{ sewell98globallocal,
author = "Peter Sewell",
title = "Global/Local Subtyping and Capability Inference for a Distributed $\pi$-calculus",
journal = "Lecture Notes in Computer Science",
volume = "1443",
pages = "695--??",
year = "1998",
url = "citeseer.ist.psu.edu/local98globallocal.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
410 Mobile ambients - Cardelli, Gordon - 1998 ACM DBLP
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996 ACM DBLP
139 Secure information flow in a multi-threaded imperative langu.. - Smith, Volpano - 1998 ACM DBLP
116 A typed language for distributed mobile processes - Riely, Hennessy - 1998
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
115 An asynchronous model of locality (context) - Amadio - 1997
114 The Polymorphic Pi-calculus: Theory and Implementation - Turner - 1996
108 Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996 ACM DBLP
89 Calculi for interaction - Milner - 1996 DBLP
85 The SLam calculus: Programming with secrecy and integrity - Heintze, Riecke - 1998 DBLP
70 On asynchronous communication semantics - Honda, Tokoro - 1992 ACM DBLP
61 Localities and failures - Amadio, Prasad - 1994
59 The name discipline of uniform receptiveness - Sangiorgi - 1997 ACM DBLP
47 The reflexive CHAM and the join-calculus - Fournet, Gonthier - 1996 ACM DBLP
42 Distributed processes and location failures - Riely, Hennessy - 1997 ACM DBLP
30 A calculus for cryptographic protocols: The spi calculus (context) - Abadi, Gordon - 1997 DBLP
28 On implementations and semantics of a concurrent programming.. - Sewell - 1997 ACM DBLP
28 Coordinating mobile agents via blackboards and access rights (context) - De Nicola, Ferrari et al. - 1997 ACM DBLP
24 A sort inference algorithm for the polyadic ß-calculus (context) - Gay - 1993
24 Secrecy by typing in security protocols (context) - Abadi - 1997 ACM
18 INRIA Sofia-Antipolis (context) - Boudol, the et al. - 1992
15 and Tsung-Min Kuo (context) - Thomsen, Leth - 1996
14 Static and dynamic processor allocation for higher-order con.. - Nielson, Nielson - 1995 ACM DBLP
12 Principal typing schemes in a polyadic ß-calculus (context) - Vasconcelos, Honda - 1993
6 local subtyping for a distributed ß-calculus (context) - Sewell - 1997
6 Detecting local channels in distributed Poly/ML (context) - Steckler - 1996
The graph only includes citing articles where the year of publication is known.
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)
Global/Local Subtyping for a Distributed π-calculus - Sewell (1997) (Correct)
Design Rules and Abstractions (from branching and real time) - Sewell (1996) (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