Journal of Logic and Algebraic Programming, Volume 63

Volume 63, Number 1, April 2005

Special issue on The pi-calculus

Volume 63, Number 2, May-June 2005

Special Issue on Process Algebra and System Architecture
a service of Schloss Dagstuhl - Leibniz Center for Informatics