Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures

Xinyan Gao, Yingcai Ding, Wenbo Liu, Kaidi Zheng, Siyu Huang, Ning Zhou, Dakui Li. Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures. J. Applied Mathematics, 2014, 2014. [doi]

Abstract

Abstract is missing.