James Riely  Home/Search
Context Related
| cogs.susx.ac.uk/us...7TRlocfail.ps.gz ncsu.edu/eos/users...7TRlocfail.ps.gz unc.edu/~riely/pap...7TRlocfail.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: 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: . 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 characterizations of strong and weak barbed... (Update)
Cited by: More
Encoding Distributed Areas and Local Communication into the.. - Chothia, Stark (2001) (Correct)
Abstractions for Fault-Tolerant Global Computing - Chothia, Duggan (2004) (Correct)
Process Calculi for the Foundations of - Peer-To-Peer Systems Johannes (Correct)
Similar documents (at the sentence level):
12.1%: Distributed Processes and Location Failures (Extended Abstract) - Riely, Hennessy (Correct)
Active bibliography (related documents): More All
0.4: Equivalence Semantics for Concurrency: Comparison and Application - Galpin (1998) (Correct)
0.2: History Dependent Automata - Montanari, Pistore (2001) (Correct)
0.2: Intelligent Agents and User Modelling - Errico (1997) (Correct)
Similar documents based on text: More All
0.2: Trust and Partial Typing in Open Systems of Mobile Agents - Riely, Hennessy (1998) (Correct)
0.2: Type-Safe Execution of Mobile Agents in Anonymous Networks - Hennessy, Riely (1998) (Correct)
0.2: Resource Access Control in Systems of Mobile Agents - Hennessy, Riely (1998) (Correct)
Related documents from co-citation: More All
30: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
25: Information and Computation (context) - Milner, Parrow et al. - 1992
20: Mobile ambients - Cardelli, Gordon - 1998
BibTeX entry: (Update)
James Riely and Matthew Hennessy. Distributed processes and location failures. In Proceedings of ICALP '97. LNCS 1256, pages 471--481. Springer-Verlag, July 1997. REFERENCES 57 http://citeseer.ist.psu.edu/riely97distributed.html More
@article{ riely01distributed,
author = "James Riely and Matthew Hennessy",
title = "Distributed processes and location failures",
journal = "Theoretical Computer Science",
volume = "266",
number = "1--2",
pages = "693--735",
year = "2001",
url = "citeseer.ist.psu.edu/riely97distributed.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
232 The concurrency workbench: A semantics-based tool for the ve.. - Cleaveland, Parrow et al. - 1993
202 Modal and temporal logics (context) - Stirling - 1992
179 The lazy lambda calculus - Abramsky - 1990
121 Executing Temporal Logic Programs - Moszkowski - 1986
112 Bisimilarity as a theory of functional programming (context) - Gordon - 1995
109 Theoretical Computer Science (context) - Hennessy, Lin - 1995
97 STeP: The stanford temporal prover - Manna - 1994
89 volume 18 of Cambridge Tracts in Theoretical Computer Scienc.. (context) - Baeten, Weijland - 1990
69 Causal trees (context) - Degano, Priami - 1992
69 Causal trees (context) - Darondeau, Degano - 1989
61 Localities and failures - Amadio, Prasad - 1994
45 A theory of processes with localities (context) - Boudol, Castellani et al. - 1994
22 Observing distribution (context) - Castellani - 1995
15 Formal Aspects of Computing (context) - Aceto, view et al. - 1994
14 A symmetric integration of concurrent and functional program.. (context) - Giacalone, Mishra et al. - 1989
11 and Davide Sangiorgi (context) - Amadio, Castellani - 1996
11 Comparing locality and causality based equivalences (context) - Kiehn - 1994
11 Laboratoire d'Informatique de Marseille (context) - Amadio, model et al. - 1997
9 Observing located concurrency (context) - Murphy - 1993
5 Interval logics and their decision procedures: Part i: An in.. - Ramakrishna, Melliar-Smith et al. - 1996
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
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
Secure Resource Access for Mobile Agents - Riely, Hennessy (Correct)
Provably Correct Vectorization of Nested-Parallel Programs - Riely, Prins, Iyer (Correct)
Distributed Processes and Location Failures (Extended Abstract) - Riely, Hennessy (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