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]

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