Although he is most famous for his contribution to LaTeX, Leslie Lamport also made significant contributions to the field of concurrent computing. In particular, there is something called the Lamport clock, which basically means that you tag each event in a sequence of communications with the time + process identifier. Doing so gives you a total order on events in a concurrent system.