Our digital lives rely on distributed computer systems, such as the network of banks that allow us to deposit cash in one place and withdraw it in another. But understanding the order of events in such systems is not always straightforward.