1. A new natural structural congruence in the pi-calculus with replication

   • Joost Engelfriet
   • Tjalling Gelsema

   OriginalPaper Pages: 385 - 430

2. Past is for free: on the complexity of verifying linear temporal properties with past

   • Nicolas Markey

   OriginalPaper Pages: 431 - 458

3. Reducing non-determinism in right nulled GLR parsers

   • Elizabeth Scott
   • Adrian Johnstone

   OriginalPaper Pages: 459 - 489

4. Trajectory-based codes

   • Michael Domaratzki

   OriginalPaper Pages: 491 - 527