Pages that link to "Item:Q1853585"
From MaRDI portal
The following pages link to Performance measure sensitive congruences for Markovian process algebras (Q1853585):
Displaying 14 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)
- A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems (Q1271643) (← links)
- On performance congruences for process algebras (Q1275822) (← links)
- Non-bisimulation-based Markovian behavioral equivalences (Q2373649) (← links)
- Reduction semantics in Markovian process algebra (Q2413025) (← links)
- Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time (Q2703726) (← 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)
- Process algebra for performance evaluation (Q5958464) (← links)
- Extended Markovian Process Algebra (Q6104380) (← links)
