The following pages link to (Q4449536):
Displaying 10 items.
- Weak bisimulations for fuzzy automata (Q279375) (← links)
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- Component simulation-based substitutivity managing QoS and composition issues (Q988175) (← links)
- Compositions of (max,+) automata (Q2348374) (← links)
- Bisimulations for weighted automata over an additively idempotent semiring (Q2447758) (← links)
- Bisimulation relations for weighted automata (Q2481957) (← links)
- Coinduction in concurrent timed systems (Q2919457) (← links)
- Placement Inference for a Client-Server Calculus (Q3520305) (← links)
- (Q4395217) (← links)
- Model checking for a class of weighted automata (Q5962025) (← links)