Pages that link to "Item:Q1575240"
From MaRDI portal
The following pages link to Towards a unified view of bisimulation: A comparative study (Q1575240):
Displayed 13 items.
- Transition systems from event structures revisited (Q293333) (← links)
- Bisimulations for fuzzy automata (Q423147) (← links)
- On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations (Q622073) (← links)
- Computation of the greatest simulations and bisimulations between fuzzy automata (Q690916) (← links)
- Reduction of fuzzy automata by means of fuzzy quasi-orders (Q726556) (← links)
- Nondeterministic automata: equivalence, bisimulations, and uniform relations (Q903611) (← links)
- Fuzzy relation equations and reduction of fuzzy automata (Q988575) (← links)
- Fuzzy approximations of fuzzy relational structures (Q1644888) (← links)
- Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences (Q1794961) (← links)
- Bisimulation of type 2 for BL-general fuzzy automata (Q2297988) (← links)
- Tree-functors, determinacy and bisimulations (Q3564340) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
- Characterization and computation of approximate bisimulations for fuzzy automata (Q6079413) (← links)