Инсерционная семантика плоских многопотоковых моделей языка UCM

Скорочена інформація про документ
dc.contributor.authorГуба, А.А.
dc.contributor.authorШушпанов, К.И.
dc.date.accessioned2015-06-14T19:10:34Z
dc.date.available2015-06-14T19:10:34Z
dc.date.issued2012
dc.description.abstractПредложена математическая семантика плоских многопотоковых моделей языка UCM. В качестве формализма используется инсерционная модель, обогащенная взаимодействием параллельных процессов через общую память. Разработана функция погружения параллельных процессов UCM в среду. Семантика предложена для символьной верификации многопотоковых моделей.uk_UA
dc.description.abstractThe mathematical semantics of flattened multithreaded models of UCM language is suggested. The insertional model enriched by the interaction of parallel processes via shared memory is used as a formalism. An insertion function for the parallel UCM processes is developed. The semantics is suggested for the symbolic verification of multithreaded models.uk_UA
dc.description.abstractЗапропоновано математичну семантику пласких багатопотокових моделей мови UCM. Як формалізм використано інсерційну модель, збагачену взаємодією паралельних процесів через загальну пам'ять. Розроблено функцію занурення паралельних процесів UCM в середовище. Семантику запропоновано для символьної верифікації багатопотокових моделей.uk_UA
dc.identifier.citationИнсерционная семантика плоских многопотоковых моделей языка UCM / А.А. Губа, К.И. Шушпанов // Управляющие системы и машины. — 2012. — № 6. — С. 15-21, 34. — Бібліогр.: 16 назв. — рос.uk_UA
dc.identifier.issn0130-5395
dc.identifier.udc519.7+004.436.4
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/83103
dc.language.isoruuk_UA
dc.publisherМіжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН Україниuk_UA
dc.relation.ispartofУправляющие системы и машины
dc.statuspublished earlieruk_UA
dc.subjectСемантика формальных и естественных языковuk_UA
dc.titleИнсерционная семантика плоских многопотоковых моделей языка UCMuk_UA
dc.title.alternativeThe Insertional Semantics of Flattened Multithreaded Models of the UCM Languageuk_UA
dc.title.alternativeІнсерційна семантика плоских багатопотокових моделей мови UCMuk_UA
dc.typeArticleuk_UA

Файли

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

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
02-Guba.pdf
Розмір:
740.05 KB
Формат:
Adobe Portable Document Format
Завантажити

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

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

Колекція

Управляющие системы и машины, 2012, № 6