Branching vs. Linear Time: Semantical Perspective.

Sumit Nain, Moshe Y. Vardi

Browse the full ATVA paper archive.