Papers

Executable component-based semantics #L.

Modular structural operational semantics #Peter D.