Login / Signup
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
Published in:
CONCUR (2006)
Keyphrases
</>
formal analysis
distributed systems
formal methods
databases
neural network
management system
intelligent systems
computer systems
lightweight
complex systems
cryptographic protocols
model checker