Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures

Figure 1

Partial order trace and its directed graph representation.