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

Journal of Logic and Algebraic Programming, Volume 60-61

Volumes 60-61, July - December 2004

Structural Operational Semantics

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