Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties

Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano, Matthias Wendlandt. Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties. In Stavros Konstantinidis, editor, Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings. Volume 7982 of Lecture Notes in Computer Science, pages 232-243, Springer, 2013. [doi]

Authors

Martin Kutrib

This author has not been identified. Look up 'Martin Kutrib' in Google

Andreas Malcher

This author has not been identified. Look up 'Andreas Malcher' in Google

Carlo Mereghetti

This author has not been identified. Look up 'Carlo Mereghetti' in Google

Beatrice Palano

This author has not been identified. Look up 'Beatrice Palano' in Google

Matthias Wendlandt

This author has not been identified. Look up 'Matthias Wendlandt' in Google