Pages that link to "Item:Q5505429"
From MaRDI portal
The following pages link to Extending Timed Process Algebra with Discrete Stochastic Time (Q5505429):
Displaying 5 items.
- Reconciling real and stochastic time: the need for probabilistic refinement (Q1941867) (← links)
- Discrete time stochastic and deterministic Petri box calculus dtsdPBC (Q2212703) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- Extending Timed Process Algebra with Discrete Stochastic Time (Q5505429) (← links)
- Equivalence relations for modular performance evaluation in dtsPBC (Q5740349) (← links)
