Login / Signup

Alternation and Bounded Concurrency Are Reverse Equivalent.

Tirza HirstMoshe Lewenstein
Published in: Inf. Comput. (1999)
Keyphrases