Shipei Zhang

According to our database, Shipei Zhang authored at least 3 papers between 1992 and 1994.

Collaborative distances:

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

1994

On the Parallel Complexity of Model Checking in the Modal Mu-Calculus

Shipei Zhang, Oleg Sokolsky, Scott A. Smolka

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems.

Rance Cleaveland, Jayesh N. Gada, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky, Shipei Zhang

Proceedings of the Specification of Parallel Algorithms, 1994

1992

Towards efficient parallelization of equivalence checking algorithms.

Shipei Zhang, Scott A. Smolka

Proceedings of the Formal Description Techniques, 1992