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