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

• Veröffentlicht in: Управляющие системы и машины
• Datum: 2012
• Hauptverfasser: Губа, А.А., Шушпанов, К.И.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2012
• Schlagworte: Семантика формальных и естественных языков
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/83103
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Инсерционная семантика плоских многопотоковых моделей языка UCM / А.А. Губа, К.И. Шушпанов // Управляющие системы и машины. — 2012. — № 6. — С. 15-21, 34. — Бібліогр.: 16 назв. — рос.

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