Reinhard Schwarz, Friedemann Mattern  Home/Search
Context Related
| isa.informatik.tudarmst...holygrail.ps informatik.thdarmstadt....holygrail.ps inf.ethz.ch/vs/publ/pape...holygrail.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: isa.informatik.tudarmstadt.de... (more) From: fermivista.math...thdarmstadt.de (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : The paper shows that characterizing the causal relationship between significant events is an important but non-trivial aspect for understanding the behavior of distributed programs. An introduction to the notion of causality and its relation to logical time is given; some fundamental results concerning the characterization of causality are presented. Recent work on the detection of causal relationships in distributed computations is surveyed. The issue of observing distributed computations in ... (Update)
Cited by: More
Synchronization in Massive Multiplayer - Online Games Stefano (Correct)
An Adaptable Causal Message Ordering Protocol for Very.. - Saul Pomares Hernandez (2001) (Correct)
A Scalable Logical Time Support for Lazy Release Consistency - Protocol Luciana Arantes (Correct)
Active bibliography (related documents): More All
6.5: Detecting Causal Relationships in Distributed Computations.. - Schwarz, Mattern (1994) (Correct)
0.8: Proper Time: Causal and Temporal Relations of a Distributed.. - Hrischuk Woodside (1996) (Correct)
0.6: Linear Space Algorithm for On-line Detection of Global.. - Jegou, Medina, al. (1995) (Correct)
Similar documents based on text: More All
0.4: Distributed Algorithms and Causally Consistent Observations - Mattern (Correct)
0.2: Super-Distributed RFID Tag Infrastructures - Bohn, Mattern (2004) (Correct)
0.2: Synchronous Message Passing - Murty, Garg (1993) (Correct)
Related documents from co-citation: More All
40: Distributed snapshots: Determining global states of distributed systems (context) - Chandy, Lamport - 1985
36: and the ordering of events in a distributed system (context) - Lamport, clocks - 1978
33: Clocks and the Ordering of Events in a Distributed System (context) - Lamport - 1978
BibTeX entry: (Update)
R. Schwarz and F. Mattern. Detecting causal relationships in distributed computations: In search of the holy grail. Distributed Computing, 7(3):149--174, 1994. http://citeseer.ist.psu.edu/schwarz94detecting.html More
@article{ schwarz94detecting,
author = "Reinhard Schwarz and Friedemann Mattern",
title = "Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail",
journal = "Distributed Computing",
volume = "7",
number = "3",
pages = "149-174",
year = "1994",
url = "citeseer.ist.psu.edu/schwarz94detecting.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
572 Distributed Snapshots: Determining Global States of Distribu.. (context) - Chandy, Lamport - 1985
470 Lightweight Causal and Atomic Group Multicast (context) - Birman, Schiper et al. - 1991
352 Time, Clocks, and the Ordering of Events in a Distributed Sy.. (context) - Lamport - 1978
349 The Process Group Approach to Reliable Distributed Computing (context) - Birman - 1991
217 Optimistic Recovery in Distributed Systems (context) - Strom, Yemini - 1985
216 Exploiting Virtual Synchrony in Distributed Systems (context) - Birman, Joseph - 1987
194 the Development of Reactive Systems (context) - Harel, Pnueli - 1985
163 Debugging Parallel Programs with Instant Replay (context) - LeBlanc, Mellor-Crummey - 1987
156 Recovery in Distributed Systems Using Optimistic Message Log.. - Johnson, Zwaenepoel - 1990
139 An Introduction to Event Structures (context) - Winskel - 1988
132 Timestamps in Message-Passing Systems That Preserve the Part.. (context) - Fidge - 1988
131 Modeling Concurrency with Partial Orders (context) - Pratt - 1986
114 Logical Time in Distributed Computing Systems (context) - Fidge - 1991
114 Consistent Detection of Global Predicates - Cooper, Marzullo - 1991
86 A Theorem on Boolean Matrices (context) - Warshall - 1962
83 The Causal Ordering Abstraction and a Simple Way to Implemen.. (context) - Raynal, Schiper et al. - 1991
72 Implementing and Programming Causal Distributed Shared Memor.. (context) - Ahamad, Hutto et al. - 1990
72 Partial Orders for Parallel Debugging (context) - Fidge - 1989
67 Algorithms for Distributed Termination Detection (context) - Mattern - 1987
63 Breakpoints and Halting in Distributed Programs - Miller, Choi - 1988
57 Efficient Solutions to the Replicated Log and Dictionary Pro.. (context) - Wuu, Bernstein - 1984
56 Slow Memory: Weakening Consistency to Enhance Concurrency in.. (context) - Hutto, Ahamad - 1990
54 Modeling Concurrency with Geometry - Pratt - 1991
51 Optimal Tracing and Replay for Debugging Message-Passing Par.. - Netzer, Miller - 1992
51 A New Algorithm to Implement Causal Ordering (context) - Schiper, Eggli et al. - 1989
49 Interval Orders and Interval Graphs (context) - Fishburn - 1985
49 Efficient Algorithms for Distributed Snapshots and Global Vi.. - Mattern - 1993
46 Causal Distributed Breakpoints - Fowler, Zwaenepoel - 1990
42 Sacrificing Serializability to Attain High Availability of D.. (context) - Fischer, Michael - 1982
39 Detection of Unstable Predicates in Distributed Programs (context) - Garg, Waldecker - 1992
38 Interleaving Set Temporal Logic (context) - Katz, Peled - 1990
38 Detection of Global State Predicates (context) - Marzullo, Neiger - 1991
32 An Efficient Implementation of Vector Clocks (context) - Singhal, Kshemkalyani - 1992
32 High-Level Debugging of Distributed Systems: The Behavioral .. (context) - Bates, Wileden - 1983
29 Verification of Distributed Programs Using Representative In.. (context) - Katz, Peled - 1992
28 Global Events and Global Breakpoints in Distributed Systems (context) - Haban, Weigel - 1988
25 Global Conditions in Debugging Distributed Programs (context) - Manabe, Imase - 1992
22 Algorithm 97, Shortest Path (context) - Floyd - 1962
21 A Probe Effect in Concurrent Programs (context) - Gait - 1986
21 Concerning the Size of Logical Clocks in Distributed Systems (context) - Charron-Bost - 1991
20 Exploiting Locality in Maintaining Potential Causality - Meldal, Sankar et al. - 1991
18 Concurrent Common Knowledge: Defining Agreement for Asynchro.. - Panangaden, Taylor - 1992
16 Synchronous and Asynchronous Communication in Distributed Co.. (context) - Charron-Bost, Mattern et al.
14 Modeling Concurrency in Parallel Debugging (context) - Hseush, Kaiser - 1990
13 Sur l'extension de l'ordre partiel (context) - Szpilrajn - 1930
13 Temporal Logic and Causality in Concurrent Systems (context) - Reisig - 1988
12 Debugging Multithreaded Programs with MPD (context) - Ponamgi, Hseush et al. - 1991
11 Debugging Concurrent Processes: A Case Study (context) - Stone - 1988
10 Simultaneous Regions: A Framework for the Consistent Monitor.. (context) - Spezialetti, Kearns - 1989
9 Combinatorics and Geometry of Consistent Cuts: Application t.. (context) - Charron-Bost - 1989
9 Recording Distributed Snapshots Based on Causal Order of Mes.. - Acharya, Badrinath - 1992
9 Dynamic Analysis of Event Orderings in Message-Passing Syste.. (context) - Fidge - 1989
8 A Graphical Representation of Concurrent Processes (context) - Stone - 1989
8 Local and Temporal Predicates in Distributed Systems (context) - Charron-Bost, Delporte-Gallet et al. - 1992
8 Immediate Ordered Service in Distributed Systems (context) - Kearns, Koodalattupuram - 1989
8 Petri Nets, Event Structures and Domains, Part (context) - Nielsen, Plotkin et al. - 1981
7 A Characterization of Consistent Distributed Snapshots Using.. (context) - Sandoz, Schiper - 1992
5 Efficient Reconstruction of the Causal Relationship in Distr.. (context) - Baldy, Dicky et al. - 1992
5 Timestamping Events for Inferring `Affects' Relation and Pot.. (context) - Ahuja, Carlson et al. - 1991
3 Causal Controversy at Le Mont St.-Michel (context) - van Renesse - 1993
2 Incremental Garbage Collection of Causal Relationship Comput.. (context) - Medina - 1993
2 Generalized Path Expressions (context) - Bruegge, Hibbard - 1983
2 Visualizing Concurrent Processes (context) - Stone - 1987
2 Raum und Zeit (context) - Minkowski - 1915
2 Specification and Detection of Global Breakpoints in Distrib.. (context) - Haban, Zhou et al. - 1991
2 Efficient Execution Replay for Distributed Memory Architectu.. (context) - Leu, Schiper et al. - 1991
2 Parallel Composition of Liveness (context) - Reisig - 1991
2 Inevitability in Concurrent Systems (context) - Ochmanski - 1987
2 Interval Approximations and Message Causality in Distributed.. (context) - Diehl, Jard - 1992
2 Arithmetic + Logic + Geometry = Concurrency - Pratt - 1992
1 A Causal Distributed Breakpoint Algorithm for Distributed De.. (context) - Masuzawa, Tokura - 1992
1 A Strong Part of Concurrency (context) - Reisig - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.isa.informatik.tu-darmstadt.de/VS/Publikationen/): More
Global Virtual Time Approximation with Distributed.. - Mattern, Mehl, al. (1991) (Correct)
Transparent Migration of Java-based Mobile Agents - Capturing.. - Fünfrocken (1998) (Correct)
Integration of SNMP into a CORBA- and Web-based.. - Aschemann, Mohr, Ruppert (1999) (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