Губа, А.А.; Шушпанов, К.И.
(Управляющие системы и машины, 2012)
Предложена математическая семантика плоских многопотоковых моделей языка UCM. В качестве формализма используется инсерционная модель, обогащенная взаимодействием параллельных процессов через общую память. Разработана функция ...