Transitions and Trees

An Introduction to Structural Operational Semantics

by

  • Publisher: Cambridge University Press
  • Print ISBN: 9780521197465, 0521197465

  • eText ISBN: 9781139785600, 1139785605

  • Edition: 1st