Pages that link to "Item:Q764289"
From MaRDI portal
The following pages link to Branching bisimulation congruence for probabilistic systems (Q764289):
Displayed 8 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Raiders of the lost equivalence: probabilistic branching bisimilarity (Q783681) (← links)
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- Model independent approach to probabilistic models (Q831149) (← links)
- Approximate analyzing of labeled transition systems (Q1667079) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Similarity-based minimization of fuzzy tree automata (Q2634346) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)