logical-clock

There are 0 repository under logical-clock topic.

gsharma / hybrid-logical-clock
Hybrid logical clocks
hybrid-logical-clocks logical-clock causality
2
yadavpa1 / Distributed-Systems
Implementations of Lamport clock, Vector clock, Logical clock, and the Raymond Tree Algorithm for mutual exclusion in distributed systems.
lamport-clock logical-clock vector-clock raymond-tree-algorithm
Language:Java 2
verse-lab / arboreta
Mechanised Reasoning about Array-Based Trees in Separation Logic
coq formal-verification separation-logic data-race-detection logical-clock vector-clock generic-tree rosetree
Language:Coq 0

gsharma / hybrid-logical-clock