A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises

Chris Verhoef. A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises. Nord. J. Comput., 2(2):274-302, 1995.

Abstract

Abstract is missing.