Reduction of event structures under history preserving bisimulation
详细信息 查看全文
- 作者：Abel Armas-Cervantesa ; abel.armas@ut.ee" class="auth_mail" title="E-mail the corresponding author ; Paolo Baldanb ; baldan@math.unipd.it" class="auth_mail" title="E-mail the corresponding author ; Luciano Garcí ; a-Bañ ; uelosa ; luciano.garcia@ut.ee" class="auth_mail" title="E-mail the corresponding author
- 关键词：Prime event structures ; Flow event structures ; Asymmetric event structures ; Reduction of event structures ; History preserving bisimilarity
- 刊名：Journal of Logical and Algebraic Methods in Programming
- 出版年：2016
- 出版时间：October 2016
- 年：2016
- 卷：85
- 期：6
- 页码：1110-1130
- 全文大小：817 K
文摘
- •
We tackle the problem of finding reduced representations of prime event structures using more expressive formalisms.
- •
We propose a reduction technique for asymmetric event structures.
- •
We present a reduction technique for flow event structures.
- •
The proposed reduction techniques are behavior preserving under history preserving bisimulation.