Pages that link to "Item:Q481103"
From MaRDI portal
The following pages link to On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi (Q481103):
Displaying 4 items.
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785) (← links)
- Proportional lumpability and proportional bisimilarity (Q2139185) (← links)
- Discrete time stochastic and deterministic Petri box calculus dtsdPBC (Q2212703) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
