Trace- and failure-based semantics for responsiveness Walter VoglerChristian StahlRichard Müller Original Article 10 August 2014 Pages: 499 - 552
Head and state hierarchies for unary multi-head finite automata Martin KutribAndreas MalcherMatthias Wendlandt Original Article 27 August 2014 Pages: 553 - 569