A generalised theory of Interface Automata, component compatibility and error Sascha FendrichGerald Lüttgen Original Article 17 April 2018 Pages: 287 - 319
Equivalence checking of Petri net models of programs using static and dynamic cut-points Soumyadip BandyopadhyayDipankar SarkarChittaranjan Mandal Original Article 23 April 2018 Pages: 321 - 383
On the decidability of the existence of polyhedral invariants in transition systems David Monniaux Original Article 18 May 2018 Pages: 385 - 389