Global states and time in distributed systems | lit.salon