The following pages link to (Q4936893):
Displayed 11 items.
- Formal techniques for performance analysis: blending SAN and PEPA (Q877152) (← links)
- A fluid analysis framework for a Markovian process algebra (Q974116) (← links)
- Testing from a stochastic timed system with a fault model (Q1001893) (← links)
- Optimal state-space lumping in Markov chains (Q1014448) (← links)
- The theory of interactive generalized semi-Markov processes (Q1603705) (← links)
- Performance measure sensitive congruences for Markovian process algebras (Q1853585) (← links)
- (Q2842863) (← links)
- (Q2842864) (← links)
- Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time (Q2870192) (← links)
- Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity (Q5262954) (← links)
- Process algebra for performance evaluation (Q5958464) (← links)