View of Exploiting Labels in Structural Operational Semantics

Return to Article Details Exploiting Labels in Structural Operational Semantics Download Download PDF