The formal language includes primitives for describing parallel composition, choice between actions and scope restriction.
Формальный язык включает примитивы для описания параллельной композиции, выбора между действиями и рамки ограничений.