Pages that link to "Item:Q701689"
From MaRDI portal
The following pages link to Interactive Markov chains. And the quest for quantified quality (Q701689):
Displayed 22 items.
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices (Q959782) (← links)
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- Mixing logics and rewards for the component-oriented specification of performance measures (Q995461) (← links)
- Probabilistic mobile ambients (Q1006650) (← links)
- On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289) (← links)
- Approximate mean value analysis based on Markov chain aggregation by composition (Q1434435) (← links)
- Non-bisimulation-based Markovian behavioral equivalences (Q2373649) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← links)
- On process rate semantics (Q2474433) (← links)
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes (Q2575731) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- A theory of stochastic systems. II: Process algebra (Q2575855) (← links)
- The How and Why of Interactive Markov Chains (Q3066128) (← links)
- A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains (Q3510814) (← links)
- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains (Q3523111) (← links)
- Model Based Importance Analysis for Minimal Cut Sets (Q3540081) (← links)
- On the Minimisation of Acyclic Models (Q3541025) (← links)
- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains (Q3543299) (← links)
- From Gene Regulation to Stochastic Fusion (Q3543333) (← links)
- An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA (Q3599097) (← links)
- Compositional Abstraction for Stochastic Systems (Q3648832) (← links)
- Equivalence of switching linear systems by bisimulation (Q5758269) (← links)