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

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