Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures

Figure 9

An event structure and its family of configurations.