Pages that link to "Item:Q387988"
From MaRDI portal
The following pages link to Tackling continuous state-space explosion in a Markovian process algebra (Q387988):
Displaying 7 items.
- Analytical modelling and optimization analysis of large-scale communication systems and networks with repairmen policy (Q1639987) (← links)
- A unified framework for differential aggregations in Markovian process algebra (Q2258842) (← links)
- Equivalences for fluid stochastic Petri nets (Q2403677) (← links)
- Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009) (← links)
- Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model (Q4571083) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)
- Formal lumping of polynomial differential equations through approximate equivalences (Q6113017) (← links)
