Pages that link to "Item:Q875517"
From MaRDI portal
The following pages link to Axiomatizations for probabilistic finite-state behaviors (Q875517):
Displaying 5 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)
