Elsevier B.V.
Electronic Notes in Theoretical Computer Science
Workshop on Structural Operational Semantics
Software Analysis and Transformation

Aceto, L., Fokkink, W.& Ulidowski, I. (2005). Preface. Proceedings of Workshop on Structural Operational Semantics 2004 (1), 1–1.