Preserving behavior in transition systems from event structure models

Nataliya Gribovskaya, Irina Virbitskaite

Результат исследования: Научные публикации в периодических изданияхстатья по материалам конференции

Аннотация

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.

Язык оригиналаанглийский
ЖурналCEUR Workshop Proceedings
Том2240
СостояниеОпубликовано - 1 янв 2018
Событие27th International Workshop on Concurrency, Specification and Programming, CS and P 2018 - Berlin, Германия
Продолжительность: 24 сен 201826 сен 2018

Fingerprint Подробные сведения о темах исследования «Preserving behavior in transition systems from event structure models». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать