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

Chris Verhoef

Browse the full CONCUR paper archive.