Journal of Logical and Algebraic Methods in Programming
Volume 85, Issue 6, October 2016, Pages 1110-1130
Reduction of event structures under history preserving bisimulation☆
Under an Elsevier user license
open archive
Keywords
Prime event structures
Flow event structures
Asymmetric event structures
Reduction of event structures
History preserving bisimilarity
Cited by (0)
- ☆
This article is a full version of the extended abstract presented at the 25th Nordic Workshop on Programming Theory, NWPT 2013, Tallinn, Estonia.
© 2015 Elsevier Inc.