The following publications are possibly variants of this publication:
- Generating Specialized Interpreters for Modular Structural Operational SemanticsCasper Bach Poulsen, Peter D. Mosses. In Proceedings of the 23rd international symposium on Logic Based Program Synthesis and Transformation. 2013:
- Modular structural operational semanticsPeter D. Mosses. jlp, 60-61:195-228, 2004. [doi]
- Exploiting labels in Structural Operational SemanticsPeter D. Mosses. SAC 2004: 1476-1481 [doi]
- Implicit Propagation in Structural Operational SemanticsPeter D. Mosses, Mark J. New. ENTCS, 229(4):49-66, 2009. [doi]
- Special issue on structural operational semanticsRob J. van Glabbeek, Peter D. Mosses. iandc, 207(2):83-84, 2009. [doi]
- Exploiting Labels in Structural Operational SemanticsPeter D. Mosses. FUIN, 60(1-4):17-31, 2004. [doi]