SCOPUS 정보 검색 플랫폼

Volumn 7, Issue 3, 1994, Pages 149-174

Detecting causal relationships in distributed computations: In search of the holy grail

(2) Schwarz, Reinhard a Mattern, Friedemann b

a UNIVERSITY OF KAISERSLAUTERN (Germany)

Author keywords

Causal ordering; Causality; Distributed computation; Distributed debugging; Distributed system; Global predicate detection; Logical time; Timestamps; Vector time

Indexed keywords

EID: 12244279838 PISSN: 01782770 EISSN: 14320452 Source Type: Journal
DOI: 10.1007/BF02277859 Document Type: Article

Times cited : (238)

References (74)

1
- 0039448595
- Recording distributed snapshots based on causal order of message delivery
- (1992) Inf Process Lett , vol.44 , pp. 317-321
- Acharya, A.¹ Badrinath, B.R.²

2
- 84936707166
- Ahmad M, Hutto PW, John R: Implementing and programming causal distributed shared memory. Proc 11th Int Conference on Distributed Computing Systems, Arlington, Texas, pp 274–281, 1991

3
- 84936707167
- Ahuja M, Carlson T, Gahlot A, Shands D: Timestamping events for inferring ‘affects’ relation and potential causality. Proc 15th IEEE Int Computer Software and Application Conference COMPSAC 91, Tokyo, pp 606–611, 1991

4
- 28144464259
- Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier, Montpellier
- (1992) Efficient reconstruction of the causal relationship in distributed computations
- Baldy, P.¹ Dicky, H.² Medina, R.³ Morvan, M.⁴ Vilarem, J.F.⁵

5
- 0021001894
- High-level debugging of distributed systems: the behavioral abstraction approach
- (1983) J Syst Softw , vol.4 , Issue.3 , pp. 255-264
- Bates, P.C.¹ Wileden, J.C.²

6
- 84987193155
- Exploiting virtual synchrony in distributed systems
- (1987) Operating Syst Rev , vol.22 , Issue.1 , pp. 123-138
- Birman, K.¹ Joseph, T.²

7
- 0011663698
- Computer Science Department, Cornell University, Ithaca, New York
- (1991) The process group approach to reliable distributed computing
- Birman, K.¹

8
- 84976814834
- Lightweight causal and atomic group multicast
- (1991) ACM Trans Comput Syst , vol.9 , Issue.3 , pp. 272-314
- Birman, K.¹ Schiper, A.² Stephenson, P.³

9
- 0020990123
- Generalized Path Expressions
- (1983) J Syst Softw , vol.2 , Issue.2 , pp. 265-276
- Bruegge, B.¹ Hibbard, P.²

10
- 0022020346
- Distributed snapshots: determining global states of distributed systems
- (1985) ACM Trans Comput Syst , vol.31 , Issue.1 , pp. 63-75
- Chandy, K.M.¹ Lamport, L.²

11
- 2942745660
- Combinatorics and geometry of consistent cuts: application to concurrency theory
- J.C., Bermond, M., Raynal, LNCS, vol 392, Springer, Berlin Heidelberg New York
- (1989) Distributed algorithms , pp. 45-56
- Charron-Bost, B.¹

12
- 0026188189
- Concerning the size of logical clocks in distributed systems
- (1991) Inf Process Lett , vol.39 , pp. 11-16
- Charron-Bost, B.¹

13
- 84934428182
- LITP, IBP, Université Paris 7, Paris
- (1992) Local and temporal predicates in distributed systems
- Charron-Bost, B.¹ Delporte-Gallet, C.² Fauconnier, H.³

14
- 84936707172
- Charron-Bost B, Mattern F, Tel G: Synchronous, asynchronous, and causally ordered communication. Distrib Comput (to appear)

15
- 84936707173
- Cooper R, Marzullo K: Consistent detection of global predicates. Proc ACM/ONR Workshop on Parallel and Distributed Debugging, Santa Cruz, California 1991, pp 163–173

16
- 85029628534
- Interval approximations and message causality in distributed systems
- A., Finkel, M., Jantzen, LNCS, vol 577, Springer, Berlin Heidelberg New York
- (1992) Proc of the 9th Annual Symposium on Theoretical Aspects of Computer Science STACS '92 , pp. 363-374
- Diehl, C.¹ Jard, C.²

17
- 84936707170
- Fidge CJ: Timestamps in message-passing systems that preserve the partial ordering. Proc 11th Australian Computer Science Conference, University of Queensland, pp 55–66, 1988

18
- 84976763146
- Partial orders for parallel debugging
- (1989) ACM SIGPLAN Notices , vol.24 , Issue.1 , pp. 183-194
- Fidge, C.J.¹

19
- 3042921099
- Department of Computer Science, Australian National University, Canberra
- (1989) Dynamic analysis of event orderings in message passing systems
- Fidge, C.J.¹

20
- 0026202534
- Logical time in distributed computing systems
- (1991) IEEE Comput , vol.24 , Issue.8 , pp. 28-33
- Fidge, C.J.¹

21
- 84936707171
- Fischer MJ, Michael A: Sacrificing serializability to attain high availability of data in an unreliable network. Proc ACM SIGACT-SIGOPS Symposium on Principles of Database Systems, pp 70–75, 1982

22
- 0003660515
- Wiley, New York
- (1985) Interval orders and interval graphs
- Fishburn, P.C.¹

23
- 84945709831
- Algorithm 97, shortest path
- (1962) Communications of the ACM , vol.5 , pp. 345
- Floyd, R.W.¹

24
- 84936707174
- Fowler J, Zwaenepoel W: Causal distributed breakpoints. Proc 10th Int Conference on Distributed Computing Systems, Paris, pp 134–141, 1990

25
- 0022674023
- A probe effect in concurrent programs
- (1986) Softw Pract Exper , vol.16 , Issue.3 , pp. 225-233
- Gait, J.¹

26
- 80053238417
- Detection of unstable predicates in distributed programs
- R., Shyamasundra, LNCS, vol 652, Springer, Berlin Heidelberg New York
- (1992) Proc 12th Conference on the Foundation of Software Technology and Theoretical Computer Science , pp. 253-264
- Garg, V.K.¹ Waldecker, B.²

27
- 84936707175
- Haban D, Weigel W: Global events and global breakpoints in distributed systems. Proc 21st Annual Hawaii Int Conference on System Sciences, pp 166–175, 1988

28
- 84936707219
- Specification and detection of global breakpoints in distributed systems
- Universität des Saarlandes, Saarbrücken
- (1991) Technical Report SFB124-08/1991
- Haban, D.¹ Zhou, S.² Maurer, D.³ Wilhelm, R.⁴

29
- 0000835369
- On the development of reactive systems
- K., Apt, NATO ASI Series F, vol 13, Springer, Berlin Heidelberg New York
- (1985) Logics and models of concurrent systems , pp. 477-498
- Harel, D.¹ Pnueli, A.²

30
- 0001929864
- Modeling concurrency in parallel debugging
- (1990) ACM SIGPLAN Notices , vol.25 , Issue.3 , pp. 11-20
- Hseush, W.¹ Kaiser, G.E.²

31
- 84936707223
- Hutto P, Ahamad M: Slow memory: weakening consistency to enhance concurrency in distributed shared memories. Proc 10th Int Conference on Distributed Computing Systems, Paris, pp 302–309, 1990

32
- 38249017422
- Recovery in distributed systems using optimistic message logging and checkpointing
- (1990) J Algorithms , vol.11 , Issue.3 , pp. 462-491
- Johnson, D.B.¹ Zwaenepoel, W.²

33
- 0025506042
- Interleaving set temporal logic
- (1990) Theor Comput Sci , vol.75 , pp. 263-287
- Katz, S.¹ Peled, D.²

34
- 0001123063
- Verification of distributed programs using representative interleaving sequences
- (1992) Distrib Comput , vol.6 , pp. 107-120
- Katz, S.¹ Peled, D.²

35
- 84936707222
- Kearns JP, Koodalattupuram B: Immediate ordered service in distributed systems. Proc 9th Int Conference on Distributed Computing Systems, Newport Beach, California, 611–618, 1989

36
- 0017996760
- Time, clocks, and the ordering of events in a distributed system
- (1978) Commun ACM , vol.21 , Issue.7 , pp. 558-565
- Lamport, L.¹

37
- 0023328934
- Debugging parallel programs with instant replay
- (1987) IEEE Trans Comput , vol.36 , Issue.4 , pp. 471-482
- LeBlanc, T.J.¹ Mellor-Crummey, J.M.²

38
- 84946964786
- Efficient excution replay for distributed memory architectures
- A., Bode, LNCS, vol 487, Springer, Berlin Heidelberg New York
- (1991) Proc 2nd European Distributed Memory Computing Conference, Munich, Germany , pp. 315-324
- Leu, E.¹ Schiper, A.² Zramdini, A.³

39
- 0002139010
- Global conditions in debugging distributed programs
- (1992) J Parallel Distrib Comput , vol.15 , pp. 62-69
- Manabe, Y.¹ Imase, M.²

40
- 0003799504
- Springer, Berlin Heidelberg New York
- (1992) The temporal logic of reactive and concurrent systems
- Manna, Z.¹ Pnueli, A.²

41
- 85029798794
- Detection of global state predicates
- S., Toueg, P.G., Spirakis, L., Kirousis, LNCS, vol 579, Springer, Berlin Heidelberg New York
- (1991) Proc 5th Workshop on Distributed Algorithms (WDAG-91), Delphi, Greece , pp. 254-272
- Marzullo, K.¹ Neiger, G.²

42
- 0141863643
- A causal distributed breakpoint algorithm for distributed debugger
- (1992) Proc ICICE Fall Conf , vol.6 , Issue.SD–1–8 , pp. 373-374
- Masuzawa, T.¹ Tokura, N.²

43
- 0023593920
- Algorithms for distributed termination detection
- (1987) Distrib Comput , vol.2 , pp. 161-175
- Mattern, F.¹

44
- 84936707221
- Mattern F: Virtual time and global states in distributed systems. In: Cosnard M et al. (eds) Proc Workshop on Parallel and Distributed Algorithms, Chateau de Bonas, Oct. 1988, Elsevier, North Holland, 1989, pp 215–226

45
- 0001167874
- Efficient algorithms for distributed snapshots and global virtual time approximation
- (1993) J Parallel Distrib Comput , vol.18 , pp. 423-434
- Mattern, F.¹

46
- 84936707220
- Medina R: Incremental garbage collection of causal relationship computation in distributed systems. Proc 5th IEEE Symposium on Parallel and Distributed Processing, Irving, Texas, 1993

47
- 84936707217
- Meldal S, Sankar S, Vera J: Exploiting locality in maintaining potential causality. Proc 10th Annual ACM Symposium on Principles of Distributed Computing, Montreal, Canada, pp 231–239, 1991

48
- 84936707216
- Miller BP, Choi JD: Breakpoints and halting in distributed programs. Proc 8th Int Conference on Distributed Computing Systems, pp 316–323, 1988

49
- 84936682648
- Raum und Zeit
- H.A., Lorentz, A., Einstein, H., Minkowski, Teubner, Leipzig
- (1915) Das Relativitätsprinzip. Eine Sammlung von Abhandlungen , pp. 56-68
- Minkowski, H.¹

50
- 84936707215
- Netzer RHB, Miller BP: Optimal tracing and replay for debugging message-passing parallel programs. Proc Supercomputing '92, Minneapolis, pp 502–511, 1992

51
- 49149133619
- Petri nets, event structures and domains, part I
- (1981) Theor Comput Sci , vol.13 , pp. 85-108
- Nielsen, M.¹ Plotkin, G.² Winskel, G.³

52
- 0023366699
- Inevitability in concurrent systems
- (1987) Information Processing Letters , vol.25 , pp. 221-225
- Ochmanski, E.¹

53
- 0003251987
- Concurrent common knowledge: defining agreement for asynchronous systems
- (1992) Distrib Comput , vol.6 , Issue.2 , pp. 73-93
- Panangaden, P.¹ Taylor, K.²

54
- 0026151443
- Debugging multithreaded programs with MPD
- (1991) IEEE Software , vol.8 , Issue.3 , pp. 37-43
- Ponamgi, M.K.¹ Hseush, W.² Kaiser, G.E.³

55
- 34250124963
- Modeling concurrency with partial orders
- (1986) Int J Parallel Program , vol.15 , Issue.1 , pp. 33-71
- Pratt, V.¹

56
- 84936707214
- Pratt V: Modeling concurrency with geometry. Proc 18th Annual Symposium on Principles of Programming Languages (POPL-91), pp 311–322, 1991

57
- 79951604061
- Arithmetic+Logic+Geometry=Concurrency
- I., Simon, Springer, Berlin Heidelberg New York
- (1992) Proc LATIN '92, LNCS, vol 583 , pp. 430-447
- Pratt, V.¹

58
- 0026219782
- The causal ordering abstraction and a simple way to implement it
- (1991) Inf Process Lett , vol.39 , pp. 343-350
- Raynal, M.¹ Schiper, A.² Toueg, S.³

59
- 0039057293
- A strong part of concurreney
- G., Rozenberg, LNCS, vol 266, Springer, Berlin Heidelberg New York
- (1987) Advances in Petri nets , pp. 238-272
- Reisig, W.¹

60
- 85011164033
- Temporal logic and causality in concurrent systems
- F.H., Vogt, LNCS, vol 335, Springer, Berlin Heidelberg New York
- (1988) Proc Concurrency '88 , pp. 121-139
- Reisig, W.¹

61
- 84936707218
- Parallel composition of liveness
- Technische Universität München, München
- (1991) Technical Report SFB342/30/91A
- Reisig, W.¹

62
- 3042984911
- Causal controversy at Le Mont St.-Michel
- (1993) ACM SIGOPS Operating Systems Review , vol.27 , Issue.2 , pp. 44-53
- van Renesse, R.¹

63
- 84936707209
- Département d'Informatique, Ecole Polytechnique Fédérale de Lausanne, Lausanne
- (1992) A characterization of consistent distributed snapshots using causal order
- Sandoz, A.¹ Schiper, A.²

64
- 84979553513
- A new algorithm to implement causal ordering
- J.C., Bermond, M., Raynal, LNCS, vol 392, Springer, Berlin Heidelberg New York
- (1989) Proc Workshop on Distributed Algorithms, Nice, France , pp. 219-232
- Schiper, A.¹ Eggli, J.² Sandoz, A.³

65
- 0026907967
- An efficient implementation of vector clocks
- (1992) Inf Process Lett , vol.43 , pp. 47-52
- Singhal, M.¹ Kshemkalyani, A.²

66
- 84936707208
- Spezialetti M, Kearns JP: Simultaneous regions: a framework for the consistent monitoring of distributed systems. Proc 9th Int Conference on Distributed Computing Systems, Newport Beach, California, pp 61–68, 1989

67
- 84936707211
- Stone JM: Visualizing concurrent processes. Technical Report RC 12973, IBM TJ Watson Research Center 1987

68
- 84936707210
- Stone JM: Debugging concurrent processes: a case study. Proc SIGPLAN Conf on Programming Language Design and Implementation, Atlanta, Georgia, pp 145–153, 1988

69
- 84976735900
- A graphical representation of concurrent processes
- (1989) ACM SIGPLAN Notices , vol.24 , Issue.1 , pp. 226-235
- Stone, J.M.¹

70
- 0022112420
- Optimistic recovery in distributed systems
- (1985) ACM Trans Comput Syst , vol.3 , Issue.3 , pp. 204-226
- Strom, R.¹ Yemini, S.²

71
- 0000815146
- Sur l'extension de l'ordre partiel
- (1930) Fund Math , vol.16 , pp. 386-389
- Szpilrajn, E.¹

72
- 84945708259
- A theorem on Boolean matrices
- (1962) Journal of the ACM , vol.9 , pp. 11-12
- Warshall, S.¹

73
- 85029715012
- An introduction to event structures
- J.W., de Bakker, W.P., de Roever, G., Rozenberg, LNCS, vol 354, Springer, Berlin Heidelberg New York
- (1988) Proc Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, The Netherlands , pp. 364-397
- Winskel, G.¹

74
- 84936707213
- Wuu GTJ, Bernstein AJ: Efficient solutions to the replicated log and dictionary problems. Proc ACM Symposium on Principles of Distributed Computing, pp 233–242, 1984

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.