Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict

详细信息    查看全文

• 关键词：Bisimilarity ; Event structures with asymmetric conflict ; Labelled transition systems ; Interleaving/Multiset/Pomset semantics
• 刊名：Lecture Notes in Computer Science
• 出版年：2017
• 出版时间：2017
• 年：2017
• 卷：10139
• 期：1
• 页码：132-146
• 丛书名：SOFSEM 2017: Theory and Practice of Computer Science
• ISBN：978-3-319-51963-0
• 卷排序：10139

文摘

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 non-executable 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.