The Equational Theory of Weak Complete Simulation Semantics over BCCSP | Publicación