Branching vs. Linear Time: Semantical Perspective.

Moshe Y. Vardi

Browse the full CSL paper archive.