| |
| 1996 | ||
|---|---|---|
| 2 | EE | Hsu-Chun Yen, Shi-Tsuen Jian, Ta-Pang Lao: Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes. Theor. Comput. Sci. 170(1-2): 445-464 (1996) |
| 1995 | ||
| 1 | Hsu-Chun Yen, Shi-Tsuen Jian, Ta-Pang Lao: Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes. ISAAC 1995: 301-310 | |
| 1 | Shi-Tsuen Jian | [1] [2] |
| 2 | Hsu-Chun Yen | [1] [2] |