Pages that link to "Item:Q974116"
From MaRDI portal
The following pages link to A fluid analysis framework for a Markovian process algebra (Q974116):
Displayed 17 items.
- Hybrid behaviour of Markov population models (Q259041) (← links)
- Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates (Q291345) (← links)
- Tackling continuous state-space explosion in a Markovian process algebra (Q387988) (← links)
- On fluidization of discrete event models: Observation and control of continuous Petri nets (Q763410) (← links)
- Fluid computation of passage-time distributions in large Markov models (Q764294) (← links)
- Modelling patterns of gene regulation in the bond-calculus (Q2229141) (← links)
- A unified framework for differential aggregations in Markovian process algebra (Q2258842) (← links)
- Model checking single agent behaviours by fluid approximation (Q2346412) (← links)
- Equivalences for fluid stochastic Petri nets (Q2403677) (← links)
- Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009) (← links)
- Exact fluid lumpability in Markovian process algebra (Q2453115) (← links)
- Quantitative Abstractions for Collective Adaptive Systems (Q2822665) (← links)
- Semi-Product-Form Solution for PEPA Models with Functional Rates (Q2843075) (← links)
- Applying Mean-Field Approximation to Continuous Time Markov Chains (Q2937739) (← links)
- Uniform Generation in Trace Monoids (Q2946325) (← links)
- Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems (Q5270685) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)