Science of Computer Programming, Volume 41
Volume 41, Number 1, September 2001
David A. Naumann:
Predicate transformer semantics of a higher-order imperative language with record subtyping. 1-51
Volume 41, Number 2, October 2001
Volume 41, Number 3, November 2001
Hanna Klaudel:
Compositional high-level Petri net semantics of a parallel programming language with procedures. 195-240
maintained by

, founded at
