Pošljite SMS: Communicating Sequential Processes