Every event structure admits a unique minimal quotient under folding with respect to hereditary history preserving bisimilarity, with the result holding specifically and uniquely for prime event structures.
Sincef is a folding, by Lemma 17, there exists a transitionC′ 1 x′ −→C′ 2 such thatf(C′
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Minimisation of Event Structures
Every event structure admits a unique minimal quotient under folding with respect to hereditary history preserving bisimilarity, with the result holding specifically and uniquely for prime event structures.