Shi-Tsuen Jian

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

Collaborative distances:

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

1995

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

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

Proceedings of the Algorithms and Computation, 6th International Symposium, 1995