Edit search
A Complete Axiomatisation of Branching Bisimulation for Prob…
A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems%2C with an Application in Protocol Verification
A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems%2C with an Application in Protocol Verification
eBook
A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems%2C with an Application in Protocol Verification
Authors: S. Andova
Page: 327-342
Published: 2006
ISBN: 3540373764
  Print copies at your library
  Request a copy of this item
Cite this item