Pages that link to "Item:Q2258842"
From MaRDI portal
The following pages link to A unified framework for differential aggregations in Markovian process algebra (Q2258842):
Displaying 10 items.
- A fluid analysis framework for a Markovian process algebra (Q974116) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← 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)
- Differential Bisimulation for a Markovian Process Algebra (Q2946344) (← links)
- A canonical representation for aggregated Markov processes (Q4215680) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)
- Formal lumping of polynomial differential equations through approximate equivalences (Q6113017) (← links)