The following pages link to (Q2979815):
Displaying 5 items.
- Performance evaluation in stochastic process algebra dtsdPBC (Q2058309) (← links)
- A congruence relation for sPBC (Q2481583) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- Iteration in discrete time stochastic Petri box calculus (Q2880610) (← links)
- Equivalence relations for modular performance evaluation in dtsPBC (Q5740349) (← links)