A core calculus for dynamic delta-oriented programming Ferruccio DamianiLuca PadovaniChristoph Seidl Original Article 31 January 2017 Pages: 269 - 307
Algorithms for monitoring real-time properties David BasinFelix KlaedtkeEugen Zălinescu Original Article 03 March 2017 Pages: 309 - 338
Factorisation of transition systems Raymond Devillers Original Article 29 April 2017 Pages: 339 - 362