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]
@article{KutribMMPW15,
title = {Deterministic input-driven queue automata: Finite turns, decidability, and closure properties},
author = {Martin Kutrib and Andreas Malcher and Carlo Mereghetti and Beatrice Palano and Matthias Wendlandt},
year = {2015},
doi = {10.1016/j.tcs.2015.01.012},
url = {http://dx.doi.org/10.1016/j.tcs.2015.01.012},
researchr = {https://researchr.org/publication/KutribMMPW15},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {578},
pages = {58-71},
}