Axiomatic treatment of processes with shared variables revisited Olaf Owe OriginalPaper Pages: 323 - 340
An implementation of syntax directed functional programming on nested-stack machines Heinz FassbenderHeiko Vogler OriginalPaper Pages: 341 - 375
A layered semantics for a parallel object-oriented language Pierre AmericaJan Rutten OriginalPaper Pages: 376 - 408