Testing congruence for mobile processes
scientific article; zbMATH DE number 1750654