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]

Authors

Xinyan Gao

This author has not been identified. Look up 'Xinyan Gao' in Google

Yingcai Ding

This author has not been identified. Look up 'Yingcai Ding' in Google

Wenbo Liu

This author has not been identified. Look up 'Wenbo Liu' in Google

Kaidi Zheng

This author has not been identified. Look up 'Kaidi Zheng' in Google

Siyu Huang

This author has not been identified. Look up 'Siyu Huang' in Google

Ning Zhou

This author has not been identified. Look up 'Ning Zhou' in Google

Dakui Li

This author has not been identified. Look up 'Dakui Li' in Google