Zaslat SMS: The semantics of coordination