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

Partial Orders in Transition Systems from Resolvable Conflict Event Structures

Article's language
English
Abstract
Event structures are a well-established model in concurrency theory. Two structurally different methods of associating transition system semantics to event-oriented models are distinguished in the literature. One of them is based on configurations (event sets), the other – on residuals (model fragments). In this paper, we deal with a highly expressive model of event structures – event structures for resolvable conflict (RC-structures) – and provide isomorphism results on these two types of transition systems constructed from RC-structures, in step and partial order semantics.
DOI
10.31144/si.2307-6410.2022.n20.p1-24
Pages
1-24
File
Number