Pages that link to "Item:Q875517"
From MaRDI portal
The following pages link to Axiomatizations for probabilistic finite-state behaviors (Q875517):
Displaying 15 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)
- Nonaxiomatisability of equivalences over finite state processes (Q1377607) (← links)
- Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours (Q1633345) (← links)
- Axiomatizing probabilistic processes: ACP with generative probabilities (Q1899914) (← links)
- Complete axiomatization for the total variation distance of Markov chains (Q2130580) (← links)
- Axioms for probability and nondeterminism (Q2847403) (← links)
- Probabilistic barbed congruence (Q2870293) (← links)
- (Q4558787) (← links)
- Two axiomatic approaches to the probabilistic serial mechanism (Q4586003) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- Foundations of Software Science and Computational Structures (Q5705912) (← links)
- Probabilistic weak bisimulation and axiomatization for probabilistic models (Q6161460) (← links)