Journal of Logic and Algebraic Programming, Volume 60-61

Volumes 60-61, July - December 2004

Structural Operational Semantics
maintained by Schloss Dagstuhl LZI at University of Trier