Rudolf Freund, Sergiu Ivanov 0001, Ludwig Staiger. Going Beyond Turing with P Automata: Partial Adult Halting and Regular Observer ω-Languages. In Cristian S. Calude, Michael J. Dinneen, editors, Unconventional Computation and Natural Computation - 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015, Proceedings. Volume 9252 of Lecture Notes in Computer Science, pages 169-180, Springer, 2015. [doi]
Abstract is missing.