Pages that link to "Item:Q974113"
From MaRDI portal
The following pages link to Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113):
Displayed 9 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)
- Approximate analyzing of labeled transition systems (Q1667079) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- (Q5013870) (← links)