The following pages link to (Q4484498):
Displayed 14 items.
- A pseudometric in supervisory control of probabilistic discrete event systems (Q351739) (← links)
- Branching bisimulation congruence for probabilistic systems (Q764289) (← links)
- Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Weak bisimulation is sound and complete for pCTL\(^*\) (Q2266992) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← links)
- Branching bisimulation for probabilistic systems: characteristics and decidability (Q2491633) (← links)
- Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions (Q2946748) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- A Spectrum of Behavioral Relations over LTSs on Probability Distributions (Q3090826) (← links)
- Testing Finitary Probabilistic Processes (Q3184679) (← links)
- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems (Q3599065) (← links)
- Bisimulation and Simulation Relations for Markov Chains (Q5262953) (← links)