Multiset rewriting for the verification of depth-bounded processes with name binding | Publicación