О временном представлении теории взаимодействующих процессов Хоара

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

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2011
Автор: Гайтан, Е.Н.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут проблем математичних машин і систем НАН України 2011
Назва видання:Математичні машини і системи
Теми:
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/83600
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:О временном представлении теории взаимодействующих процессов Хоара / Е.Н. Гайтан // Мат. машини і системи. — 2011. — № 3. — С. 130-134. — Бібліогр.: 6 назв. — рос.

Репозиторії

Digital Library of Periodicals of National Academy of Sciences of Ukraine