The idea of vector timestamps was developed independently by Ladin and Liskov [LL86].

A few years ago when I ended up down the rabbit hole on CRDTs and alternatives I learned of Liskov’s work on time vectors, which is still my top “things you didn’t know about Barbara Liskov” fact.