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

• Published in: Управляющие системы и машины
• Date: 2012
• Main Author: Годлевский, А.Б.
• Format: Article
• Language: Russian
• Published: Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2012
• Subjects: Семантика формальных и естественных языков
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/83104
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Инсерционная семантика параллельных процедурных конструктов языка UCM / А.Б. Годлевский // Управляющие системы и машины. — 2012. — № 6. — С. 22-34. — Бібліогр.: 14 назв. — рос.

Предложено математическое описание семантики процедурного конструкта Stub в языке параллельного моделирования UCM с применением инсерционного подхода, основанного на взаимодействии сред и погруженных в них агентов. The mathematical description of the semantics of a procedural construct Stub for the...