Pages that link to "Item:Q1899914"
From MaRDI portal
The following pages link to Axiomatizing probabilistic processes: ACP with generative probabilities (Q1899914):
Displaying 24 items.
- Behavioural equivalences of a probabilistic pi-calculus (Q362281) (← links)
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Metrics for labelled Markov processes (Q596029) (← links)
- Model independent approach to probabilistic models (Q831149) (← links)
- Axiomatizations for probabilistic finite-state behaviors (Q875517) (← links)
- Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time (Q1128976) (← links)
- Approximating labelled Markov processes (Q1398379) (← links)
- Algebraic theory of probabilistic processes. (Q1400293) (← links)
- Hiding resources that can fail: An axiomatic perspective (Q1607106) (← links)
- Additive models of probabilistic processes (Q1607220) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Discrete time generative-reactive probabilistic processes with different advancing speeds (Q1853593) (← links)
- Linking theories in probabilistic programming (Q1961866) (← links)
- A propositional dynamic logic with qualitative probabilities (Q1961927) (← links)
- Deciding bisimilarity and similarity for probabilistic processes. (Q1975973) (← links)
- Refinement-oriented probability for CSP (Q2365393) (← links)
- \(\pi\)-calculus with noisy channels (Q2570971) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- Notes on Generative Probabilistic Bisimulation (Q2866317) (← links)
- Probabilistic Barbed Congruence (Q2870293) (← links)
- Process Algebra and Model Checking (Q3176390) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)
