View of Structural Operational Semantics with transitivity rules and execution time

Return to Article Details Structural Operational Semantics with transitivity rules and execution time Download Download PDF