I haven't fully read through the article yet, but on the topic of FIFO-based models of computation, there are queue automatons and Post-Tag systems: [0] https:

I haven't fully read through the article yet, but on the topic of FIFO-based models of computation, there are queue automatons and Post-Tag systems: [0] https://en.wikipedia.org/wiki/Queue_automaton https://en.wikipedia.org/wiki/Queue_automaton [1] https://en.wikipedia.org/wiki/Tag_system https://en.wikipedia.org/wiki/Tag_system