1. Announcement: best reviewer award 2011

   • Hagit Attiya

   Announcement 18 February 2012 Pages: 1 - 1

2. Concurrency theory: timed automata, testing, program synthesis

   • Davide Sangiorgi

   EditorialNotes 21 December 2011 Pages: 3 - 4

3. A study on shuffle, stopwatches and independently evolving clocks

   • Cătălin Dima
   • Ruggero Lanotte

   OriginalPaper 20 November 2011 Pages: 5 - 33

4. Implementation relations and test generation for systems with distributed interfaces

   • Robert M. Hierons
   • Mercedes G. Merayo
   • Manuel Núñez

   OriginalPaper 24 November 2011 Pages: 35 - 62

5. Overcoming controllability problems in distributed testing from an input output transition system

   • Robert M. Hierons

   OriginalPaper 11 December 2011 Pages: 63 - 81

6. Symbolic synthesis of masking fault-tolerant distributed programs

   • Borzoo Bonakdarpour
   • Sandeep S. Kulkarni
   • Fuad Abujarad

   OriginalPaper 04 October 2011 Pages: 83 - 108