Pages that link to "Item:Q2760248"
From MaRDI portal
The following pages link to Probabilistic extensions of process algebras. (Q2760248):
Displaying 3 items.
- Symbolic approaches to probability distributions in process algebra (Q5944220) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving (Q6639734) (← links)