A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification.

Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse

Browse the full CONCUR paper archive.