Ausgabe 3/2009
Inhalt (4 Artikel)
Original Article
Hardness of equivalence checking for composed finite-state systems
Zdeněk Sawa, Petr Jančar
Original Article
On the closure of pattern expressions languages under intersection with regular languages
Cezar Câmpeanu, Nicolae Santean
Original Article
Liveness of a mutex algorithm in a fair process algebra
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
Original Article
A decomposition theorem for finite persistent transition systems
Eike Best, Philippe Darondeau