A new natural structural congruence in the pi-calculus with replication Joost EngelfrietTjalling Gelsema OriginalPaper Pages: 385 - 430
Past is for free: on the complexity of verifying linear temporal properties with past Nicolas Markey OriginalPaper Pages: 431 - 458
Reducing non-determinism in right nulled GLR parsers Elizabeth ScottAdrian Johnstone OriginalPaper Pages: 459 - 489