Pages that link to "Item:Q3457985"
From MaRDI portal
The following pages link to Weighted Lumpability on Markov Chains (Q3457985):
Displaying 4 items.
- On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi (Q481103) (← links)
- Unwinding biological systems (Q2348024) (← links)
- Time-Bounded Verification of CTMCs against Real-Time Specifications (Q3172840) (← links)
- The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (Q5919051) (← links)