Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование
Preserving behavior in transition systems from event structure models. / Gribovskaya, Nataliya; Virbitskaite, Irina.
в: CEUR Workshop Proceedings, Том 2240, 01.01.2018.Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование
}
TY - JOUR
T1 - Preserving behavior in transition systems from event structure models
AU - Gribovskaya, Nataliya
AU - Virbitskaite, Irina
N1 - Funding Information: ★ Supported by German Research Foundation through grant Be 1267/14-1. 1 An event is enabled once all of its causal predecessors have occurred. Publisher Copyright: © Copyright 2018 for the individual papers by the papers' authors.
PY - 2018/1/1
Y1 - 2018/1/1
N2 - Two structurally different methods of associating transition system semantics to event structure 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 consider three kinds of event structures (resolvable conflict structures, extended prime structures, stable structures), translate the other models into resolvable conflict structures and back, provide the isomorphism results on the two types of transition systems, and demonstrate the preservation of some bisimulations on them.
AB - Two structurally different methods of associating transition system semantics to event structure 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 consider three kinds of event structures (resolvable conflict structures, extended prime structures, stable structures), translate the other models into resolvable conflict structures and back, provide the isomorphism results on the two types of transition systems, and demonstrate the preservation of some bisimulations on them.
UR - http://www.scopus.com/inward/record.url?scp=85057185242&partnerID=8YFLogxK
M3 - Conference article
AN - SCOPUS:85057185242
VL - 2240
JO - CEUR Workshop Proceedings
JF - CEUR Workshop Proceedings
SN - 1613-0073
T2 - 27th International Workshop on Concurrency, Specification and Programming, CS and P 2018
Y2 - 24 September 2018 through 26 September 2018
ER -
ID: 17562632