Deterministic input-driven queue automata: Finite turns, decidability, and closure properties

Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano, Matthias Wendlandt. Deterministic input-driven queue automata: Finite turns, decidability, and closure properties. Theoretical Computer Science, 578:58-71, 2015. [doi]

Abstract

Abstract is missing.