Описывается идеология и основные конструкции языка Model-100, предназначенного для описания поведения множества взаимодействующих процессов. Правила взаимо-действия процессов задаются предложениями вида "если … то …" (хорновскими дизъюнктами). Структура взаимодействий представляется графом, который описывается рациональным термом. Исполнение одного шага программы сводится к одновременному применению всех правил ко всем вершинам, к которым правило применимо (ко всем рациональным подтермам, с которыми хорновский дизъюнкт унифицируем).