Pages that link to "Item:Q2946344"
From MaRDI portal
The following pages link to Differential Bisimulation for a Markovian Process Algebra (Q2946344):
Displaying 6 items.
- 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)
- Quantitative Abstractions for Collective Adaptive Systems (Q2822665) (← links)
- Differential Bisimulation for a Markovian Process Algebra (Q2946344) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)