Volume 40, Issue 6-7 | Acta Informatica

Search all Acta Informatica articles

Volume 40, Issue 6-7

May 2004

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

A new natural structural congruence in the pi-calculus with replication
Joost Engelfriet
Tjalling 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 Scott
Adrian Johnstone
OriginalPaper Pages: 459 - 489
Trajectory-based codes
Michael Domaratzki
OriginalPaper Pages: 491 - 527