Pages that link to "Item:Q1853585"
From MaRDI portal
The following pages link to Performance measure sensitive congruences for Markovian process algebras (Q1853585):
Displaying 9 items.
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785) (← links)
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi (Q481103) (← links)
- Mixing logics and rewards for the component-oriented specification of performance measures (Q995461) (← links)
- Non-bisimulation-based Markovian behavioral equivalences (Q2373649) (← links)
- Reduction semantics in Markovian process algebra (Q2413025) (← links)
- Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity (Q5262954) (← links)
- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders (Q5428916) (← links)
- A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems (Q5458058) (← links)
