Title of article :
Alternation and Bounded Concurrency Are Reverse Equivalent
Author/Authors :
Tirza Hirst، نويسنده , , Moshe Lewenstein، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1999
Keywords :
alternation automata , bounded concurrency , finite auto-mata , nondeterminism , succinctness.
Journal title :
Information and Computation
Journal title :
Information and Computation