Отправить по sms: Теория и методы анализа управяемых распредлененных процессов