References
Published online by Cambridge University Press: 05 August 2012
Summary
- Type
- Chapter
- Information
- Transitions and TreesAn Introduction to Structural Operational Semantics, pp. 264 - 268Publisher: Cambridge University PressPrint publication year: 2010