Pages that link to "Item:Q3599065"
From MaRDI portal
The following pages link to On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems (Q3599065):
Displaying 4 items.
- Branching bisimulation congruence for probabilistic systems (Q764289) (← links)
- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems (Q3599065) (← links)
- Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? (Q5056368) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
