View of Conservative Extension in Structural Operational Semantics

Return to Article Details Conservative Extension in Structural Operational Semantics Download Download PDF