Multiset rewriting for the verification of depth-bounded processes with name binding
scientific article; zbMATH DE number 6092759
scientific article