Vector clocks are one of the other things Barbara Liskov is known for.