Towards efficient parallelization of equivalence checking algorithms. - Shipei Zhang; Scott A. Smolka (FORTE, 1992)

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 (Specification of Parallel Algorithms, 1994)

On the Parallel Complexity of Model Checking in the Modal Mu-Calculus - Shipei Zhang; Oleg Sokolsky; Scott A. Smolka (LICS, 1994)