Частичные порядки в системах переходов, построенных из структур событий с разрешимым конфликтом

Частичные порядки в системах переходов, построенных из структур событий с разрешимым конфликтом

Язык статьи
Английский
Аннотация
Структуры событий – базовая модель теории параллелизма. В литературе выделяются два различных метода построения семантики систем переходов для событийно-ориентированных моделей. Один из них основан на наборах событий, которые произошли в процессе реализации модели, другой – на фрагментах модели, которые остались после частичной реализации модели. В этой статье исследуется наиболее выразительная модель структур событий – структуры событий для разрешимого конфликта (RC-структуры) – и доказывается изоморфизм этих двух типов систем переходов, построенных из RC-структур, в семантиках шага и частичного порядка.
DOI
10.31144/si.2307-6410.2022.n20.p1-24
УДК
Страницы
1-24
Файл
Номер