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

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

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

Повний опис

Збережено в:
Бібліографічні деталі
Видавець:Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
Дата:2012
Автори: Губа, А.А., Шушпанов, К.И.
Формат: Стаття
Мова:Russian
Опубліковано: Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2012
Назва видання:Управляющие системы и машины
Теми:
Семантика формальных и естественных языков
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/83103
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Цитувати:Инсерционная семантика плоских многопотоковых моделей языка UCM / А.А. Губа, К.И. Шушпанов // Управляющие системы и машины. — 2012. — № 6. — С. 15-21, 34. — Бібліогр.: 16 назв. — рос.

Репозиторії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-83103
record_format dspace
spelling irk-123456789-831032015-06-15T03:02:13Z Инсерционная семантика плоских многопотоковых моделей языка UCM Губа, А.А. Шушпанов, К.И. Семантика формальных и естественных языков Предложена математическая семантика плоских многопотоковых моделей языка UCM. В качестве формализма используется инсерционная модель, обогащенная взаимодействием параллельных процессов через общую память. Разработана функция погружения параллельных процессов UCM в среду. Семантика предложена для символьной верификации многопотоковых моделей. The 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. Запропоновано математичну семантику пласких багатопотокових моделей мови UCM. Як формалізм використано інсерційну модель, збагачену взаємодією паралельних процесів через загальну пам'ять. Розроблено функцію занурення паралельних процесів UCM в середовище. Семантику запропоновано для символьної верифікації багатопотокових моделей. 2012 Article Инсерционная семантика плоских многопотоковых моделей языка UCM / А.А. Губа, К.И. Шушпанов // Управляющие системы и машины. — 2012. — № 6. — С. 15-21, 34. — Бібліогр.: 16 назв. — рос. 0130-5395 http://dspace.nbuv.gov.ua/handle/123456789/83103 519.7+004.436.4 ru Управляющие системы и машины Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Семантика формальных и естественных языков
Семантика формальных и естественных языков
spellingShingle Семантика формальных и естественных языков
Семантика формальных и естественных языков
Губа, А.А.
Шушпанов, К.И.
Инсерционная семантика плоских многопотоковых моделей языка UCM
Управляющие системы и машины
description Предложена математическая семантика плоских многопотоковых моделей языка UCM. В качестве формализма используется инсерционная модель, обогащенная взаимодействием параллельных процессов через общую память. Разработана функция погружения параллельных процессов UCM в среду. Семантика предложена для символьной верификации многопотоковых моделей.
format Article
author Губа, А.А.
Шушпанов, К.И.
author_facet Губа, А.А.
Шушпанов, К.И.
author_sort Губа, А.А.
title Инсерционная семантика плоских многопотоковых моделей языка UCM
title_short Инсерционная семантика плоских многопотоковых моделей языка UCM
title_full Инсерционная семантика плоских многопотоковых моделей языка UCM
title_fullStr Инсерционная семантика плоских многопотоковых моделей языка UCM
title_full_unstemmed Инсерционная семантика плоских многопотоковых моделей языка UCM
title_sort инсерционная семантика плоских многопотоковых моделей языка ucm
publisher Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
publishDate 2012
topic_facet Семантика формальных и естественных языков
url http://dspace.nbuv.gov.ua/handle/123456789/83103
citation_txt Инсерционная семантика плоских многопотоковых моделей языка UCM / А.А. Губа, К.И. Шушпанов // Управляющие системы и машины. — 2012. — № 6. — С. 15-21, 34. — Бібліогр.: 16 назв. — рос.
series Управляющие системы и машины
work_keys_str_mv AT gubaaa insercionnaâsemantikaploskihmnogopotokovyhmodelejâzykaucm
AT šušpanovki insercionnaâsemantikaploskihmnogopotokovyhmodelejâzykaucm
first_indexed 2023-10-18T19:26:04Z
last_indexed 2023-10-18T19:26:04Z
_version_ 1796146941800742912

Схожі ресурси