Sign in
  Edit search
CONCUR 2006 – Concurrency Theory, vol. 4137
CONCUR 2006 – Concurrency Theory, vol. 4137
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.
Page: 327
Published: 2006
ISBN: 3540373764
  Full text availability for this item
View Full Text Source:CONCUR 2006 – Concurrency Theory, vol. 4137,CONCUR 2006 – Concurrency Theory, vol. 4137,Springer Complete eBooks Opens in new Window
Collection:  Springer Complete eBooks Opens in new Window
Coverage:
  • 2006
  Print copies at your library
Check availability in RUQuest
  Request a copy of this item
Cite this item