Axiomatizing weak simulation semantics over BCCSP