James Riely, Matthew Hennessy  Home/Search
Context
Related
| ncsu.edu/eos/users/r/ri...97icalp.ps.gz cogs.susx.ac.uk/users/j...97icalp.ps.gz ncsu.edu/faculty/riely/...97icalp.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: ncsu.edu/eos/users/r/rie...papers (more) From: ncsu.edu/faculty/riely/papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ) James Riely and Matthew Hennessy Abstract Site failure is an essential aspect of distributed systems; nonetheless its effect on programming language semantics remains poorly understood. To model such systems, we define a process calculus in which processes are run at distributed locations. The language provides operators to kill locations, to test the status (dead or alive) of locations, and to spawn processes at remote locations. Using a variation of bisimulation, we provide alternative... (Update)
Similar documents (at the sentence level):
57.8%: Distributed Processes and Location Failures (Extended Abstract) - Riely, Hennessy (Correct)
38.7%: Distributed Processes and Location Failures - Riely (1997) (Correct)
Active bibliography (related documents): More All
0.3: A Typed Language for Distributed Mobile Processes (Extended.. - Riely, Hennessy (1998) (Correct)
0.3: Resource Access Control in Systems of Mobile Agents - Hennessy (1998) (Correct)
0.2: Intelligent Agents and User Modelling - Errico (1997) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.1: Resource Access Control in Systems of Mobile Agents (Extended .. - Hennesey, Riely (1998) (Correct)
0.1: New larvae (Acari: Erythraeidae) ectoparasitc on.. - Arturo Goldarazena.. (Correct)
0.0: A theory of bisimulation for a fragment of concurrent ML with .. - Jeffrey, Rathke (2000) (Correct)
BibTeX entry: (Update)
@misc{ riely-distributed,
author = "James Riely and Matthew Hennessy",
title = "Distributed Processes and Location Failures (Extended Abstract)",
url = "citeseer.ist.psu.edu/11407.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and concurrency (context) - Milner - 1989
1180 The Temporal Logic of Reactive and Concurrent System: Specif.. (context) - Manna, Pnueli - 1992
854 Information and Computation (context) - Milner, Parrow et al. - 1992
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
248 Expressing Mobility (context) - Sangiorgi - 1992
179 The lazy lambda calculus - Abramsky - 1990
139 Cambridge University Press (context) - Baeten, Weijland - 1990
112 Bisimilarity as a theory of functional programming (context) - Gordon - 1995
109 Theoretical Computer Science (context) - Hennessy, Lin - 1995
61 Localities and failures - Amadio, Prasad - 1994
45 A theory of processes with localities (context) - Boudol, Castellani et al. - 1994
41 Department of Computer Science (context) - Riely, Hennessy et al. - 1997
22 Observing distribution (context) - Castellani - 1995
14 A symmetric integration of concurrent and functional program.. (context) - Giacalone, Mishra et al. - 1989
11 and Davide Sangiorgi (context) - Amadio, Castellani - 1996
11 Laboratoire d'Informatique de Marseille (context) - Amadio, model et al. - 1997
5 The refliexive CHAM and the join-calculus (context) - Fournet, Gonthier - 1994
4 Time and Nondeterminism (context) - Corradini - 1996
3 Information and Control (context) - Boudol, calculus et al. - 1994
3 Partial order localities (context) - Montanari, Yankelovich - 1992
1 From a concurrent l-calculus to the p-calculus (context) - Amadio - 1995
Documents on the same site (http://www.csc.ncsu.edu/eos/users/r/riely/www/papers.html): More
Distributed Processes and Location Failures - Riely (1997) (Correct)
Testing-Based Abstractions for Value-Passing Systems - Cleaveland, Riely (1994) (Correct)
Type-Safe Execution of Mobile Agents in Anonymous Networks - Hennessy, Riely (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