1. Trace- and failure-based semantics for responsiveness

   • Walter Vogler
   • Christian Stahl
   • Richard Müller

   Original Article 10 August 2014 Pages: 499 - 552

   

2. Head and state hierarchies for unary multi-head finite automata

   • Martin Kutrib
   • Andreas Malcher
   • Matthias Wendlandt

   Original Article 27 August 2014 Pages: 553 - 569