A language for description of interacting parallel processes

Additional constraints are imposed on the syntax of the language of parallel compositions that define its canonical form whereby the equivalence problem is resolved for two arbitrary descriptions in this language.