Zaslat SMS: Communicating Sequential Processes