logical-clock
There are 4 repositories under logical-clock topic.
gsharma/hybrid-logical-clock
Hybrid logical clocks
yadavpa1/Distributed-Systems
Implementations of Lamport clock, Vector clock, Logical clock, and the Raymond Tree Algorithm for mutual exclusion in distributed systems.
verse-lab/arboreta
Mechanised Reasoning about Array-Based Trees in Separation Logic
chugunov/clocks
Time, Clocks, and the Ordering of Events