Strategic Dominance: A New Preorder for Nondeterministic Processes.

Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara

Browse the full CONCUR paper archive.