1 problem

Let $\mathcal E$ be an event structure, and let its conflict event domain be the domain of configurations associated with $\mathcal E$. A conflict event domain is recognizable when…