CONCUR 2006 – Concurrency Theory, vol. 4137
A Complete Axiomatisation of Branching Bisimulation for Prob…
A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems%2525252C with an Application in Protocol Verification
eBook
Full text availability for this item
Collection:
Springer Complete eBooks
Coverage:
- 2006