The following pages link to (Q4861732):
Displaying 17 items.
- Stochastic acts and conmodules (Q800089) (← links)
- Eilenberg--Moore algebras for stochastic relations (Q859832) (← links)
- Modelling parallel databases with process algebra (Q1583384) (← links)
- Performance measure sensitive congruences for Markovian process algebras (Q1853585) (← links)
- An integrated framework for the performance analysis of asynchronous communicating stochastic processes (Q1882804) (← links)
- On process rate semantics (Q2474433) (← links)
- A theory of stochastic systems. II: Process algebra (Q2575855) (← links)
- Analysis of a multimedia stream using stochastic process algebra (Q2765225) (← links)
- Performance modelling using probabilistic process algebra (Q2767986) (← links)
- Categories of timed stochastic relations (Q2805158) (← links)
- (Q3722555) (← links)
- Coincidence of the $\sigma$-Algebras in a Scheme of Partially Observable Diffusion Processes (Q3793439) (← links)
- (Q4737551) (← links)
- Compositional performance modelling with the TIPPtool (Q4779362) (← links)
- (Q4861733) (← links)
- Validation of Stochastic Systems (Q5325834) (← links)
- Process algebra for performance evaluation (Q5958464) (← links)