Prefix-primitive annihilators of languages under some operations Chen-Ming FanCheng-Chih HuangJen-Tse Wang Original Article 30 May 2012 Pages: 281 - 293
An algorithmic study of switch graphs Bastian KatzIgnaz RutterGerhard Woeginger Original Article 24 May 2012 Pages: 295 - 312
Abstract reduction in directed model checking CCS processes Antonella SantoneGigliola Vaglini Original Article 03 July 2012 Pages: 313 - 341
Algebras for iteration and infinite computations Walter Guttmann Original Article 13 July 2012 Pages: 343 - 359