Үүнийг мессежээр илгээх: Теория и методы анализа управяемых распредлененных процессов