Hardness of equivalence checking for composed finite-state systems Zdeněk SawaPetr Jančar Original Article 13 January 2009 Pages: 169 - 191
On the closure of pattern expressions languages under intersection with regular languages Cezar CâmpeanuNicolae Santean Original Article 24 February 2009 Pages: 193 - 207
Liveness of a mutex algorithm in a fair process algebra Flavio CorradiniMaria Rita Di BerardiniWalter Vogler Original Article 24 March 2009 Pages: 209 - 235
A decomposition theorem for finite persistent transition systems Eike BestPhilippe Darondeau Original Article 20 March 2009 Pages: 237 - 254