Sometimes and Not Never Re-revisited: On Branching Versus Linear Time.

Moshe Y. Vardi

Browse the full CONCUR paper archive.