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

Скорочена інформація про документ
dc.contributor.authorГайтан, Е.Н.
dc.date.accessioned2015-06-20T20:01:32Z
dc.date.available2015-06-20T20:01:32Z
dc.date.issued2011
dc.description.abstractВ статье вводится параметр времени в теорию взаимодействующих процессов Хоара. Представлены основные операции теории, такие как префиксация, рекурсия, операторы выбора и др. и аксиоматические законы теории с учетом введенного параметра.uk_UA
dc.description.abstractУ статті вводиться параметр часу до теорії взаємодіючих процесів Хоара. Представлені основні операції теорії, такі як префіксація, рекурсія, оператори вибору та ін. та аксіоматичні закони теорії з урахуванням введеного параметра.uk_UA
dc.description.abstractThe article studies addition of the time parameter to the theory of communicating processes of Hoare. The basic operations of theory, such as prefix, recursion, selection operator and other, and axiomatic laws of theory are rewritten taking into account the entered parameter.uk_UA
dc.identifier.citationО временном представлении теории взаимодействующих процессов Хоара / Е.Н. Гайтан // Мат. машини і системи. — 2011. — № 3. — С. 130-134. — Бібліогр.: 6 назв. — рос.uk_UA
dc.identifier.issn1028-9763
dc.identifier.udc004.82
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/83600
dc.language.isoruuk_UA
dc.publisherІнститут проблем математичних машин і систем НАН Україниuk_UA
dc.relation.ispartofМатематичні машини і системи
dc.statuspublished earlieruk_UA
dc.subjectМоделювання і управління великими системамиuk_UA
dc.titleО временном представлении теории взаимодействующих процессов Хоараuk_UA
dc.title.alternativeПро часове представлення теорії взаємодіючих процесів Хоараuk_UA
dc.title.alternativeAbout time representation of the Hoare communicating processes theoryuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
17-Gajtan.pdf
Розмір:
133.22 KB
Формат:
Adobe Portable Document Format
Опис:
Саття
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Математичні машини і системи, 2011, № 3