scientific article; zbMATH DE number 1397300
From MaRDI portal
Publication:4936893
Recommendations
Cited in
(24)- Testing from a stochastic timed system with a fault model
- Optimal state-space lumping in Markov chains
- The theory of interactive generalized semi-Markov processes
- Performance measure sensitive congruences for Markovian process algebras
- Compositional verification and optimization of interactive Markov chains
- An integrated approach for the specification and analysis of stochastic real-time systems
- Revisiting interactive Markov chains
- Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time
- A Tutorial on Interactive Markov Chains
- Verification of open interactive Markov chains
- The how and why of interactive Markov chains
- Compositionality for Markov Reward Chains with Fast Transitions
- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
- Interactive infinite Markov particle systems with jumps
- Asymptotic properties of interactive markov chains
- scientific article; zbMATH DE number 1786475 (Why is no real title available?)
- Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity
- YMCA: why Markov chain algebra?
- Self-Interacting Markov Chains
- scientific article; zbMATH DE number 956805 (Why is no real title available?)
- Process algebra for performance evaluation
- Interactive Markov chains. And the quest for quantified quality
- Formal techniques for performance analysis: blending SAN and PEPA
- A fluid analysis framework for a Markovian process algebra
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4936893)
