РАЗРАБОТКА МОДЕЛИ ТЕХНОЛОГИИ РАСПРЕДЕЛЕННЫХ РЕЕСТРОВ Ч.2. ФОРМАЛЬНЫЕ ЗАПИСИ И КОДЫстатья