Basically, without having to depend on a centralised accurate clock, by creating clock 'ticks' that identify the program and each event that takes place (parts of algorithms, processes, message sending) in a cluster of applications, such that by inspecting these clock codes you can positively establish if one event happened before another, even if you heard about the subsequent event first.