Referential transparency, definiteness and unfoldability Harald SøndergaardPeter Sestoft OriginalPaper Pages: 505 - 517
Optimum checkpoints with age dependent failures Erol GelenbeMarisela Hernández OriginalPaper Pages: 519 - 531
Representing CCS programs by finite predicate/transition nets Dirk Taubner OriginalPaper Pages: 533 - 565
Attribute storage optimization by stacks Joost EngelfrietWillem de Jong OriginalPaper Pages: 567 - 581