Login / Signup

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

Suzana AndovaJos C. M. BaetenTim 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