Journal of Logic and Algebraic Programming, Volume 72

Volume 72, Number 1, May-June 2007

Algebraic Process Calculi: The First Twenty Five Years and Beyond. II

Volume 72, Number 2, July-August 2007

Programming Language Interference and Dependence