scientific article; zbMATH DE number 1397300
From MaRDI portal
Publication:4936893
zbMATH Open0937.60065MaRDI QIDQ4936893FDOQ4936893
Authors: Holger Hermanns
Publication date: 1 February 2000
Title of this publication is not available (Why is that?)
Recommendations
Cited In (23)
- The how and why of interactive Markov chains
- Interactive Markov chains. And the quest for quantified quality
- A fluid analysis framework for a Markovian process algebra
- Compositional verification and optimization of interactive Markov chains
- Self-Interacting Markov Chains
- A Tutorial on Interactive Markov Chains
- The theory of interactive generalized semi-Markov processes
- Formal techniques for performance analysis: blending SAN and PEPA
- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
- Optimal state-space lumping in Markov chains
- YMCA: why Markov chain algebra?
- Verification of open interactive Markov chains
- Asymptotic properties of interactive markov chains
- Performance measure sensitive congruences for Markovian process algebras
- An integrated approach for the specification and analysis of stochastic real-time systems
- Interactive infinite Markov particle systems with jumps
- Testing from a stochastic timed system with a fault model
- Process algebra for performance evaluation
- Revisiting interactive Markov chains
- Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity
- Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time
- Title not available (Why is that?)
- Compositionality for Markov Reward Chains with Fast Transitions
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)