Deterministic input-driven queue automata: Finite turns, decidability, and closure properties
Kutrib, Martin, Malcher, Andreas, Mereghetti, Carlo, Palano, Beatrice, Wendlandt, MatthiasVolume:
578
Language:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2015.01.012
Date:
May, 2015
File:
PDF, 467 KB
english, 2015