Journal of Logic and Algebraic Programming, Volume 60-61

Volumes 60-61, July - December 2004

Structural Operational Semantics
a service of Schloss Dagstuhl - Leibniz Center for Informatics