Decidability of Behavioral Equivalences in Process Calculi with Name Scoping
scientific article; zbMATH DE number 6051390