Zaslať SMS: Global states and time in distributed systems /