Twan Basten
-
Causality and atomicity in distributed computations
Distributed Computing
Vector time and causality among abstract events in distributed computations