Pages that link to "Item:Q875517"
From MaRDI portal
The following pages link to Axiomatizations for probabilistic finite-state behaviors (Q875517):
Displaying 10 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Value-passing CCS with noisy channels (Q428864) (← links)
- Finite axiomatization for symbolic probabilistic \(\pi \)-calculus (Q615236) (← links)
- Model independent approach to probabilistic models (Q831149) (← links)
- Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours (Q1633345) (← links)
- Complete axiomatization for the total variation distance of Markov chains (Q2130580) (← links)
- Probabilistic Barbed Congruence (Q2870293) (← links)
- (Q4558787) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- Probabilistic weak bisimulation and axiomatization for probabilistic models (Q6161460) (← links)