Journal of Logic and Algebraic Programming, Volume 70

Volume 70, Number 1, January 2007

Web Services and Formal Methods

Volume 70, Number 2, February 2007

Algebraic Process Calculi: The First Twenty Five Years and Beyond