Linear vs. Branching Time: A Complexity-Theoretic Perspective.

Moshe Y. Vardi

Browse the full LICS paper archive.