James Riely, Matthew Hennessy  Home/Search
Context Related
Links: ACM DBLP | cogs.susx.ac.uk/users/ja...98popl.ps.gz unc.edu/~riely/papers/98popl.ps.gz ncsu.edu/faculty/riely/p...98popl.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 Problem Downloading? From: cogs.susx.ac.uk/users/ja...papers (more) From: unc.edu/~riely/papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe a foundational language for specifying dynamically evolving networks of distributed processes, Dp. The language is a distributed extension of the p-calculus which incorporates the notions of remote execution, migration, and site failure. Novel features of Dp include 1. Communication channels are explicitly located: the use of a channel requires knowledge of both the channel and its location. 2. Names are endowed with permissions: the holder of a name may only use that name in 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)
Active bibliography (related documents): More All
0.4: Resource Access Control in Systems of Mobile Agents - Hennessy (1998) (Correct)
0.3: Distributed Processes and Location Failures (Extended Abstract) - Riely, Hennessy (Correct)
0.2: Trust and Partial Typing in Open Systems of Mobile Agents - Riely (1998) (Correct)
Similar documents based on text: More All
0.2: Resource Access Control in Systems of Mobile Agents (Extended .. - Hennesey, Riely (1998) (Correct)
0.1: Unique Fixpoint Induction for Message{passing - Process Calculi Hennessy (Correct)
0.1: Type-Safe Execution of Mobile Agents in Anonymous Networks - Hennessy, Riely (1998) (Correct)
Related documents from co-citation: More All
69: Mobile ambients - Cardelli, Gordon - 1998
62: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
54: Information and Computation (context) - Milner, Parrow et al. - 1992
BibTeX entry: (Update)
J. Riely and M. Hennessy. A typed language for distributed mobile processes. In Proceedings of POPL'98, pages 378--390. ACM Press, 1998. http://citeseer.ist.psu.edu/riely98typed.html More
@inproceedings{ riely98typed,
author = "James Riely and Matthew Hennessy",
title = "A Typed Language for Distributed Mobile Processes",
booktitle = "Conference Record of {POPL} 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California",
address = "New York, NY",
pages = "378--390",
year = "1998",
url = "citeseer.ist.psu.edu/riely98typed.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1997
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996 ACM DBLP
271 The oz programming model - Smolka - 1995
264 A language with distributed scope - Cardelli - 1995 ACM DBLP
248 Expressing Mobility (context) - Sangiorgi - 1992
200 Pict: A programming language based on the pi-calculus - Pierce, Turner - 1997
168 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984
159 The chemical abstract machine (context) - Berry, Boudol - 1990 ACM DBLP
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
116 A typed language for distributed mobile processes - Riely, Hennessy - 1997
115 An asynchronous model of locality (context) - Amadio - 1997
114 The Polymorphic Pi-Calculus: Theory and Implementation - Turner - 1995
61 Localities and failures - Amadio, Prasad - 1994
14 local subtyping for a distributed p-calculus (context) - Sewell - 1997
14 A symmetric integration of concurrent and functional program.. (context) - Giacalone, Mishra et al. - 1989
11 and Davide Sangiorgi (context) - Amadio, Castellani - 1996
11 Available from http://www (context) - Cardelli, Gordon et al. - 1997
7 Asynchrony and the p-calculus (context) - Boudol - 1992
5 The refliexive CHAM and the joincalculus (context) - Fournet, Gonthier - 1996
1 Typed bisimulation for the pi-calculus (context) - Boreale, Sangiorgi - 1997
1 Computer Science Technical Report (context) - Riely, Hennessy et al. - 1997
1 Localities and true-concurrency in calculi for mobile proces.. (context) - Sangiorgi - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cogs.susx.ac.uk/users/jamesri/papers.html): More
Distributed Processes and Location Failures - Riely (1997) (Correct)
Secure Resource Access for Mobile Agents - Riely, Hennessy (Correct)
Provably Correct Vectorization of Nested-Parallel Programs - Riely, Prins, Iyer (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