Axiomatizing weak simulation semantics over BCCSP | Publicación