Відправити по sms: A Theory of Communicating Sequential Processes