发送短信: RUSSIAN TITLE: Model of a Theory of Communicating Sequential Processes for Menu−Dialog Systems