1. Refinement of actions for real-time concurrent systems with causal ambiguity

   • Mila Majster-Cederbaum
   • Jinzhao Wu
   • Houguang Yue

   Original Article 02 December 2005 Pages: 389 - 418

2. Embedding linear orders in grids

   • Andrzej Ehrenfeucht
   • Tero Harju
   • Grzegorz Rozenberg

   Original Article 13 January 2006 Pages: 419 - 428

3. A typed encoding of boxed into safe ambients

   • Francesca Levi

   Original Article 04 January 2006 Pages: 429 - 500

4. Vector assignment schemes for asymmetric settings

   • Leah Epstein
   • Tamir Tassa

   Original Article 18 January 2006 Pages: 501 - 514

5. Equivalences and optimizations in an expressive XSLT subset

   • Alberto Trombetta
   • Danilo Montesi

   Original Article 28 January 2006 Pages: 515 - 539