Pages that link to "Item:Q974113"
From MaRDI portal
The following pages link to Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113):
Displayed 4 items.
- A process algebra framework for multi-scale modelling of biological systems (Q388145) (← links)
- Value-passing CCS with noisy channels (Q428864) (← links)
- Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)