Verifying identical communicating processes is undecidable
scientific article; zbMATH DE number 1213165