Modular structural operational semantics (0)

by P D Mosses
Venue:J. Log. Algebr. Program