dblp.uni-trier.de www.uni-trier.de

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

Copyright © Mon Nov 2 21:45:49 2009 by Michael Ley (ley@uni-trier.de)