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

Shipei Zhang, Oleg Sokolsky, Scott A. Smolka

Browse the full LICS paper archive.