Теория функционирования распределённых вычислительных систем