From the happened-before relation to the causal ordered set abstraction

Journal of Parallel and Distributed Computing

Volumn 72, Issue 6, 2012, Pages 791-795

  Hernandez, S E Pomares ^a   Perez Cruz, J R ^a   Raynal, M ^b  

^a INSTITUTO NACIONAL DE ASTROFÍSICA   (Mexico)

^b INSTITUT UNIVERSITAIRE DE FRANCE   (France)

Author keywords

Distributed systems; Event ordering; Happened Before Relation; Ordered sets

Indexed keywords

CARDINALITIES; CAUSAL ORDERING; COMPACT REPRESENTATION; DEPENDENCY CONSTRAINTS; DISTRIBUTED COMPUTATIONS; DISTRIBUTED SYSTEMS; EFFICIENT ALGORITHM; EVENT ORDERING; HAPPENED-BEFORE RELATION; ORDERED SET; SINGLE EVENT;

ALGORITHMS; DISTRIBUTED COMPUTER SYSTEMS;

SET THEORY;

EID: 84859910515     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jpdc.2012.02.015     Document Type: Article

References (12)

1. E. Anceaume, J.M. Helary, and M. Raynal A note on the determination of the immediate predecessors in a distributed computation International Journal of Foundations of Computer Science 13 6 2002 865 872
2. P. Chandra, and A.D. Kshemkalyani Data-stream-based global event monitoring using pairwise interactions Journal of Parallel and Distributed Computing 68 6 2008 729 751
3. E.M Clarke, O. Grumberg, M. Minea, and D. Peled State space reduction using partial order techniques International Journal on Software Tools for Technology Transfer (STTT) 2 3 1999 279 287
4. J.M. Helary, A. Mostefaoui, and M. Raynal Interval consistency of asynchronous distributed computations Journal of Computer and System Science 64 2002 329 349 (Pubitemid 34599453)
5. J.M. Helary, R.H.B. Netzer, and M. Raynal Consistency issues in distributed checkpoints IEEE Transactions on Software Engineering 25 2 1999 274 281
6. L. Lamport Time, clocks and the ordering of events in distributed systems Communications ACM 21 7 1978 558 565 (Pubitemid 8615486)
7. L. Lamport On interprocess communications: I. basic formalism Distributed Computing 1 2 1986 77 85
8. F. Mattern, Virtual time and global states of distributed systems, in: Proceedings of International Workshop on Parallel and Distributed Algorithms, 1989, pp. 215-226.
9. R.H.B. Netzer, and J. Xu Necessary and sufficient conditions for consistent global snapshots IEEE Transactions on Parallel Distribributed Systems 6 2 1995 165 169
10. S.E. Pomares Hernandez, J. Estudillo Ramirez, L.A. Morales Rosales, and G. Rodriguez Gomez An intermedia synchronization mechanism for multimedia distributed system International Journal of Internet Protocol Technology 4 3 2009 207 218
11. S.E. Pomares Hernandez, J. Fanchon, and K. Drira The immediate dependency relation: an optimal way to ensure causal group communication Annual Review of Scalable Computing Ser. Scal. Compt. vol. 6 2004 World Scientific 61 79
12. K. Shimamura, K. Tanaka, M. Takizawa, Group communication protocol for multimedia applications, in: Proceedings of the IEEE ICCNMC'01, 2001, pp. 303-308.