Pages that link to "Item:Q5958464"
From MaRDI portal
The following pages link to Process algebra for performance evaluation (Q5958464):
Displayed 26 items.
- Behavioural equivalences of a probabilistic pi-calculus (Q362281) (← links)
- Structural operational semantics for stochastic and weighted transition systems (Q383372) (← links)
- Constraint Markov chains (Q554215) (← links)
- On fluidization of discrete event models: Observation and control of continuous Petri nets (Q763410) (← links)
- Performability assessment by model checking of Markov reward models (Q968359) (← links)
- Model checking mobile stochastic logic (Q995465) (← links)
- On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289) (← links)
- Model-checking large structured Markov chains. (Q1400291) (← links)
- Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses (Q1753998) (← links)
- Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines (Q1785845) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Stuttering for abstract probabilistic automata (Q2436515) (← links)
- A congruence relation for sPBC (Q2481583) (← links)
- A theory of stochastic systems. II: Process algebra (Q2575855) (← links)
- Quantitative Analysis of Concurrent Reversible Computations (Q2945596) (← links)
- The How and Why of Interactive Markov Chains (Q3066128) (← links)
- Stuttering for Abstract Probabilistic Automata (Q3455842) (← links)
- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains (Q3523111) (← links)
- On the Relationships Between Lumpability and Filtering of Finite Stochastic Systems (Q3535628) (← links)
- Compositional Abstraction for Stochastic Systems (Q3648832) (← links)
- Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. (Q5240153) (← links)
- Bisimulation and Simulation Relations for Markov Chains (Q5262953) (← links)
- YMCA (Q5262955) (← links)
- Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking (Q5415660) (← links)
- Mirrors and memory in quantum automata (Q6160780) (← links)