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
n20-grib_virb.pdf403.35 KB
Number