A congruence theorem for structured operational semantics with predicates and negative premises
VerhoefChris · Nordic journal of computing · 1995
We proposed a syntactic format, the panth format, for structured operational semantics in which besides ordinary transitions also predicates, negated predicates, and negative transitions may occur ...