PART II - FIRST EXAMPLES
Published online by Cambridge University Press: 05 August 2012
Summary
- Type
- Chapter
- Information
- Transitions and TreesAn Introduction to Structural Operational Semantics, pp. 25 - 26Publisher: Cambridge University PressPrint publication year: 2010