Pages that link to "Item:Q5756596"
From MaRDI portal
The following pages link to A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification (Q5756596):
Displaying 5 items.
- Remarks on Testing Probabilistic Processes (Q2864156) (← links)
- Probabilistic Barbed Congruence (Q2870293) (← links)
- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems (Q3599065) (← links)
- (Q5009710) (← links)
- Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? (Q5056368) (← links)
