Preliminary Proceedings of the Workshop on Structural Operational
Semantics, SOS '04
(London, United Kingdom, August 30, 2004)
This volume contains the preliminary proceedings of SOS '04 held in London, United Kingdom, August 30, 2004. The final proceedings will appear as a volume in the ENTCS series
Available as PDF.