Pages that link to "Item:Q3084590"
From MaRDI portal
The following pages link to A Survey of Markovian Behavioral Equivalences (Q3084590):
Displaying 12 items.
- Discrete time stochastic and deterministic Petri box calculus dtsdPBC (Q2212703) (← links)
- A unified framework for differential aggregations in Markovian process algebra (Q2258842) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Equivalences for fluid stochastic Petri nets (Q2403677) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- Differential Bisimulation for a Markovian Process Algebra (Q2946344) (← links)
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
- Towards State Space Reduction Based on T-Lumpability-Consistent Relations (Q3543307) (← links)
- Equivalence relations for modular performance evaluation in dtsPBC (Q5740349) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Q6135754) (← links)
- Performance preserving equivalence for stochastic process algebra dtsdPBC (Q6587404) (← links)