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

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

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

Повний опис

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-83103
record_format dspace
spelling Губа, А.А.
Шушпанов, К.И.
2015-06-14T19:10:34Z
2015-06-14T19:10:34Z
2012
Инсерционная семантика плоских многопотоковых моделей языка UCM / А.А. Губа, К.И. Шушпанов // Управляющие системы и машины. — 2012. — № 6. — С. 15-21, 34. — Бібліогр.: 16 назв. — рос.
0130-5395
https://nasplib.isofts.kiev.ua/handle/123456789/83103
519.7+004.436.4
Предложена математическая семантика плоских многопотоковых моделей языка 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 в середовище. Семантику запропоновано для символьної верифікації багатопотокових моделей.
ru
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
Управляющие системы и машины
Семантика формальных и естественных языков
Инсерционная семантика плоских многопотоковых моделей языка UCM
The Insertional Semantics of Flattened Multithreaded Models of the UCM Language
Інсерційна семантика плоских багатопотокових моделей мови UCM
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Инсерционная семантика плоских многопотоковых моделей языка UCM
spellingShingle Инсерционная семантика плоских многопотоковых моделей языка UCM
Губа, А.А.
Шушпанов, К.И.
Семантика формальных и естественных языков
title_short Инсерционная семантика плоских многопотоковых моделей языка UCM
title_full Инсерционная семантика плоских многопотоковых моделей языка UCM
title_fullStr Инсерционная семантика плоских многопотоковых моделей языка UCM
title_full_unstemmed Инсерционная семантика плоских многопотоковых моделей языка UCM
title_sort инсерционная семантика плоских многопотоковых моделей языка ucm
author Губа, А.А.
Шушпанов, К.И.
author_facet Губа, А.А.
Шушпанов, К.И.
topic Семантика формальных и естественных языков
topic_facet Семантика формальных и естественных языков
publishDate 2012
language Russian
container_title Управляющие системы и машины
publisher Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
format Article
title_alt The Insertional Semantics of Flattened Multithreaded Models of the UCM Language
Інсерційна семантика плоских багатопотокових моделей мови UCM
description Предложена математическая семантика плоских многопотоковых моделей языка 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 в середовище. Семантику запропоновано для символьної верифікації багатопотокових моделей.
issn 0130-5395
url https://nasplib.isofts.kiev.ua/handle/123456789/83103
citation_txt Инсерционная семантика плоских многопотоковых моделей языка UCM / А.А. Губа, К.И. Шушпанов // Управляющие системы и машины. — 2012. — № 6. — С. 15-21, 34. — Бібліогр.: 16 назв. — рос.
work_keys_str_mv AT gubaaa insercionnaâsemantikaploskihmnogopotokovyhmodeleiâzykaucm
AT šušpanovki insercionnaâsemantikaploskihmnogopotokovyhmodeleiâzykaucm
AT gubaaa theinsertionalsemanticsofflattenedmultithreadedmodelsoftheucmlanguage
AT šušpanovki theinsertionalsemanticsofflattenedmultithreadedmodelsoftheucmlanguage
AT gubaaa ínsercíinasemantikaploskihbagatopotokovihmodeleimoviucm
AT šušpanovki ínsercíinasemantikaploskihbagatopotokovihmodeleimoviucm
first_indexed 2025-12-07T19:13:10Z
last_indexed 2025-12-07T19:13:10Z
_version_ 1850877977899827200

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