Modular structural operational semantics. (2004)

by P D Mosses
Venue:Journal of Logic and Algebraic Programming