Инсерционная семантика плоских многопотоковых моделей языка UCM
Предложена математическая семантика плоских многопотоковых моделей языка UCM. В качестве формализма используется инсерционная модель, обогащенная взаимодействием параллельных процессов через общую память. Разработана функция погружения параллельных процессов UCM в среду. Семантика предложена для сим...
Saved in:
| Published in: | Управляющие системы и машины |
|---|---|
| Date: | 2012 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2012
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/83103 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Инсерционная семантика плоских многопотоковых моделей языка UCM / А.А. Губа, К.И. Шушпанов // Управляющие системы и машины. — 2012. — № 6. — С. 15-21, 34. — Бібліогр.: 16 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862729147895250944 |
|---|---|
| author | Губа, А.А. Шушпанов, К.И. |
| author_facet | Губа, А.А. Шушпанов, К.И. |
| citation_txt | Инсерционная семантика плоских многопотоковых моделей языка UCM / А.А. Губа, К.И. Шушпанов // Управляющие системы и машины. — 2012. — № 6. — С. 15-21, 34. — Бібліогр.: 16 назв. — рос. |
| collection | DSpace DC |
| container_title | Управляющие системы и машины |
| 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 в середовище. Семантику запропоновано для символьної верифікації багатопотокових моделей.
|
| first_indexed | 2025-12-07T19:13:10Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-83103 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0130-5395 |
| language | Russian |
| last_indexed | 2025-12-07T19:13:10Z |
| publishDate | 2012 |
| publisher | Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| 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 |
| spellingShingle | Инсерционная семантика плоских многопотоковых моделей языка UCM Губа, А.А. Шушпанов, К.И. Семантика формальных и естественных языков |
| title | Инсерционная семантика плоских многопотоковых моделей языка UCM |
| title_alt | The Insertional Semantics of Flattened Multithreaded Models of the UCM Language Інсерційна семантика плоских багатопотокових моделей мови UCM |
| title_full | Инсерционная семантика плоских многопотоковых моделей языка UCM |
| title_fullStr | Инсерционная семантика плоских многопотоковых моделей языка UCM |
| title_full_unstemmed | Инсерционная семантика плоских многопотоковых моделей языка UCM |
| title_short | Инсерционная семантика плоских многопотоковых моделей языка UCM |
| title_sort | инсерционная семантика плоских многопотоковых моделей языка ucm |
| topic | Семантика формальных и естественных языков |
| topic_facet | Семантика формальных и естественных языков |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/83103 |
| 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 |