Substitution in Structural Operational Semantics and value-passing process calculi

by Sam Staton