Язык описания взаимодействующих параллельных процессов. I

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