Journal of Logic and Algebraic Programming, Volume 60-61

Volumes 60-61, July - December 2004

Structural Operational Semantics