2008
Implicit Propagation in Structural Operational Semantics.
[DOI]
Peter D. Mosses
,
Mark J. New
Proceedings of the Fifth Workshop on Structural Operational Semantics, 2008