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

dc.contributor.author	Губа, А.А.
dc.contributor.author	Шушпанов, К.И.
dc.date.accessioned	2015-06-14T19:10:34Z
dc.date.available	2015-06-14T19:10:34Z
dc.date.issued	2012
dc.identifier.citation	Инсерционная семантика плоских многопотоковых моделей языка UCM / А.А. Губа, К.И. Шушпанов // Управляющие системы и машины. — 2012. — № 6. — С. 15-21, 34. — Бібліогр.: 16 назв. — рос.	uk_UA
dc.identifier.issn	0130-5395
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/83103
dc.description.abstract	Предложена математическая семантика плоских многопотоковых моделей языка UCM. В качестве формализма используется инсерционная модель, обогащенная взаимодействием параллельных процессов через общую память. Разработана функция погружения параллельных процессов UCM в среду. Семантика предложена для символьной верификации многопотоковых моделей.	uk_UA
dc.description.abstract	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.	uk_UA
dc.description.abstract	Запропоновано математичну семантику пласких багатопотокових моделей мови UCM. Як формалізм використано інсерційну модель, збагачену взаємодією паралельних процесів через загальну пам'ять. Розроблено функцію занурення паралельних процесів UCM в середовище. Семантику запропоновано для символьної верифікації багатопотокових моделей.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України	uk_UA
dc.relation.ispartof	Управляющие системы и машины
dc.subject	Семантика формальных и естественных языков	uk_UA
dc.title	Инсерционная семантика плоских многопотоковых моделей языка UCM	uk_UA
dc.title.alternative	The Insertional Semantics of Flattened Multithreaded Models of the UCM Language	uk_UA
dc.title.alternative	Інсерційна семантика плоских багатопотокових моделей мови UCM	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	519.7+004.436.4