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 8 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)
- The quest for minimal quotients for probabilistic and Markov automata (Q1784955) (← links)
- Compositional failure-based semantic models for basic LOTOS (Q1903079) (← links)
- The dynamics of defect ensembles in one-dimensional cellular automata (Q1906391) (← links)
- Limited approximate bisimulations and the corresponding rough approximations (Q2237122) (← links)
- Compositionality in state space verification methods (Q4633153) (← links)