Предлагается новая абстрактная модель взаимодействия агентов со средой. Она может быть использована в качестве семантического базиса как для изучения взаимодействия, так и для определения семантики Языка Действий, рассмотренного в предыдущей статье авторов. Взаимодействие агентов и среды определяется более жестким и симметричным путем по сравнению с этой публикацией. Основное понятие, используемое в статье - это хорошо известное понятие транзиционной системы с расходимостью и остановкой. Для определения различных транзиционных систем, используются следующие три основные формы: рекурсивные алгебраические определения, эквациальные определения и структурная операционная семантика.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"