Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes.

Hsu-Chun Yen, Shi-Tsuen Jian, Ta-Pang Lao

Browse the full ISAAC paper archive.