Modular structural operational semantics (2004)

by Peter D. Mosses
Citations:55 - 4 self

Document Versions

Modular structural operational semantics –Peter D. Mosses — 2004
Modular Structural Operational Semantics –Peter D. Mosses — 2005