GitHub topics: logical-clock
chugunov/clocks
Time, Clocks, and the Ordering of Events
Language: Go - Size: 11.7 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
verse-lab/arboreta
Mechanised Reasoning about Array-Based Trees in Separation Logic
Language: Coq - Size: 491 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
yadavpa1/Distributed-Systems
Implementations of Lamport clock, Vector clock, Logical clock, and the Raymond Tree Algorithm for mutual exclusion in distributed systems.
Language: Java - Size: 8.79 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
gsharma/hybrid-logical-clock
Hybrid logical clocks
Size: 7.81 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0
