Electronic Notes in Theoretical Computer Science, Volume 156

Volume 156, Number 1, 15 May 2006

Proceedings of the Second Workshop on Structural Operational Semantics (SOS 2005)
maintained by Schloss Dagstuhl LZI at University of Trier