Refinement of actions for real-time concurrent systems with causal ambiguity Mila Majster-CederbaumJinzhao WuHouguang Yue Original Article 02 December 2005 Pages: 389 - 418
Embedding linear orders in grids Andrzej EhrenfeuchtTero HarjuGrzegorz Rozenberg Original Article 13 January 2006 Pages: 419 - 428
A typed encoding of boxed into safe ambients Francesca Levi Original Article 04 January 2006 Pages: 429 - 500
Vector assignment schemes for asymmetric settings Leah EpsteinTamir Tassa Original Article 18 January 2006 Pages: 501 - 514
Equivalences and optimizations in an expressive XSLT subset Alberto TrombettaDanilo Montesi Original Article 28 January 2006 Pages: 515 - 539