Research Article
Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures
Input: | (1) a conflict-free event structure: , | (2) a regular predicate: | Output: the slice of : | BEGIN | (1) ; | (2) generate graph representation for ; | (3) computing slice: ; | (4) generate event structure from graph representation ; | (5) return ; | END |
|