Configuration- and residual-based transition systems for event structures with asymmetric conflict

Eike Best, Nataliya Gribovskaya, Irina Virbitskaite

Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

2 Цитирования (Scopus)

Аннотация

In order to associate a transition system with an event structure, it is customary to use configurations, constructing a transition system by repeatedly adding executable events. It is also possible to use residuals, constructing a transition system by repeatedly deleting nonexecutable events. The present paper proposes a systematic investigation of how the two methods are interrelated. The focus will be on asymmetric versions of prime, bundle, and dual event structures. For each of them, configuration-based and residual-based transition system semantics will be defined. The pairwise bisimilarity of the resulting transition systems will be proved, considering interleaving, multiset, and pomset semantics.

Язык оригиналаанглийский
Название основной публикацииSOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE
Подзаголовок основной публикацииTheory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings
РедакторыB Steffen, C Baier, M VanDenBrand, J Eder, M Hinchey, T Margaria
ИздательSpringer-Verlag GmbH and Co. KG
Страницы132-146
Число страниц15
ISBN (печатное издание)9783319519623
DOI
СостояниеОпубликовано - 1 янв 2017
Событие43rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017 - Limerick, Ирландия
Продолжительность: 16 янв 201720 янв 2017

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Том10139 LNCS
ISSN (печатное издание)0302-9743
ISSN (электронное издание)1611-3349

Конференция

Конференция43rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017
СтранаИрландия
ГородLimerick
Период16.01.201720.01.2017

Fingerprint Подробные сведения о темах исследования «Configuration- and residual-based transition systems for event structures with asymmetric conflict». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать

    Best, E., Gribovskaya, N., & Virbitskaite, I. (2017). Configuration- and residual-based transition systems for event structures with asymmetric conflict. В B. Steffen, C. Baier, M. VanDenBrand, J. Eder, M. Hinchey, & T. Margaria (Ред.), SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings (стр. 132-146). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 10139 LNCS). Springer-Verlag GmbH and Co. KG. https://doi.org/10.1007/978-3-319-51963-0_11