Post date: 24 Oct 2004
The book covers the foundations of structural operational semantics (where computations consist of many small steps) and natural semantics (where computations consist of one big step).
Post date: 24 Oct 2004
The book covers the foundations of structural operational semantics (where computations consist of many small steps) and natural semantics (where computations consist of one big step).