An automated system repair framework with signal temporal logic Mert ErgurtunaBeyazit YalcinkayaEbru Aydin Gol Original Article Open access 17 June 2021 Pages: 183 - 209
Proportional lumpability and proportional bisimilarity Andrea MarinCarla PiazzaSabina Rossi Original Article Open access 21 June 2021 Pages: 211 - 244
Regular numeral systems for data structures Amr ElmasryJyrki Katajainen Original Article 25 July 2021 Pages: 245 - 281
Correction to: Sound reasoning in tock-CSP James BaxterPedro RibeiroAna Cavalcanti Correction 15 October 2021 Pages: 283 - 283