Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes. - Hsu-Chun Yen; Shi-Tsuen Jian; Ta-Pang Lao (Theor. Comput. Sci., 1996)