Спецификация и моделирование распределенных систем с использованием базовых протоколов

В данной работе рассмотрены вопросы спецификации и моделирования распределенных систем с использованием базовых протоколов. Показано, что состояния транзиционных систем обычно рассматривается с точностью до бисимуляционной эквивалентности. При этом важно, что инвариантом бисимуляционной эквивалентности состояний является поведение системы в данном состоянии. Приводится также формальное описание базового протокола.