Pages that link to "Item:Q1182610"
From MaRDI portal
The following pages link to Minimizing the number of transitions with respect to observation equivalence (Q1182610):
Displayed 5 items.
- Conflict-preserving abstraction of discrete event systems using annotated automata (Q351736) (← links)
- Minimizing the number of transitions with respect to observation equivalence (Q1182610) (← links)
- Essential transitions to bisimulation equivalences (Q1391753) (← links)
- Compositional failure-based semantic models for basic LOTOS (Q1903079) (← links)
- The dynamics of defect ensembles in one-dimensional cellular automata (Q1906391) (← links)