Preliminary Proceedings of the Workshop on Structural Operational
Semantics, SOS '04
(London, United Kingdom, August 30, 2004) Luca Aceto
August 2004 |
Abstract:
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. |