Без заголовка

Отсутствие зависимости от того, работаешь ли с дискретным или непрерывным, структурным или распределенным -- это и есть то, что меня всегда привлекало в ТК. Но я нахожусь в большом пессимизме относительно возможности использования ТК в качестве более-менее широко используемого языка. Нужна какая-то система образования для этого, какой-то способ разрушить понятийный барьер и страх. Но я не нашел пока лучшего способа это сделать чем алгебраическая верификация.