The origins of structural operational semantics

Gordon D. Plotkin. The origins of structural operational semantics. Journal of Logic and Algebraic Programming, 60-61:3-15, 2004. [doi]

Authors

Gordon D. Plotkin

Identified as Gordon D. Plotkin