1. An automated system repair framework with signal temporal logic

   • Mert Ergurtuna
   • Beyazit Yalcinkaya
   • Ebru Aydin Gol

   Original Article Open access 17 June 2021 Pages: 183 - 209

   

2. Proportional lumpability and proportional bisimilarity

   • Andrea Marin
   • Carla Piazza
   • Sabina Rossi

   Original Article Open access 21 June 2021 Pages: 211 - 244

   

3. Regular numeral systems for data structures

   • Amr Elmasry
   • Jyrki Katajainen

   Original Article 25 July 2021 Pages: 245 - 281

   

4. Correction to: Sound reasoning in tock-CSP

   • James Baxter
   • Pedro Ribeiro
   • Ana Cavalcanti

   Correction 15 October 2021 Pages: 283 - 283