Illustrating the use of vector clocks in property detection: An example and a counter-example

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1685 LNCS, Issue , 1999, Pages 806-814

  Raynal, Michel ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84878656329     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48311-x_114     Document Type: Conference Paper

References (6)

1. Fidge C.J., Timestamp in Message Passing Systems that Preserves Partial Ordering, Proc. 11th Australian Computing Conference, pp. 56-66, 1988.
2. Garg V.K., Principles of Distributed Systems, Kluwer Acad. Press, 274 pages, 1996.
3. Lamport L., Time, Clocks and the Ordering of Events in a Distributed System, Communications of the ACM, 21(7):558-565, 1978. (Pubitemid 8615486)
4. Mattern F., Virtual Time and Global States of Distributed Systems, Proc. "Parallel and Distributed Algorithms" Conference, North-Holland, pp. 215-226, 1988.
5. Raynal M. and Singhal S., Logical Time: Capturing Causality in Distributed Systems, IEEE Computer, 29(2):49-57, 1996.
6. Schwarz R. and Mattern F., Detecting Causal Relationships in Distributed Computations: in Search of the Holy Grail. Distributed Computing, 7:149-174, 1994.