Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time.

Orna Kupferman, Moshe Y. Vardi

Browse the full LICS paper archive.