Shi-Tsuen Jian

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Coauthor Index

1 Ta-Pang Lao [1] [2]

2 Hsu-Chun Yen [1] [2]