Pages that link to "Item:Q5415669"
From MaRDI portal
The following pages link to On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation (Q5415669):
Displaying 7 items.
- Hybrid dynamics of stochastic programs (Q969181) (← links)
- A fluid analysis framework for a Markovian process algebra (Q974116) (← links)
- Model checking Markov population models by stochastic approximations (Q1784959) (← links)
- Model checking single agent behaviours by fluid approximation (Q2346412) (← links)
- Hybrid Semantics for Stochastic π-Calculus (Q3599192) (← links)
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back (Q3642958) (← links)
- Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation (Q5300886) (← links)
