Shi-Tsuen Jian

According to our database, Shi-Tsuen Jian authored at least 1 paper in 1996.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1996

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

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

Theor. Comput. Sci., 1996