Shipei Zhang

Publication Activity (10 Years)

Years Active: 1992-1994
Publications (10 Years): 0

Publications

Rance Cleaveland, Jayesh N. Gada, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky, Shipei Zhang
The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems. Specification of Parallel Algorithms (1994)
Shipei Zhang, Oleg Sokolsky, Scott A. Smolka
On the Parallel Complexity of Model Checking in the Modal Mu-Calculus LICS (1994)
Shipei Zhang, Scott A. Smolka
Towards efficient parallelization of equivalence checking algorithms. FORTE (1992)