A Congruence Theorem for Structured Operational Semantics with Predicates.

Jos C. M. Baeten, Chris Verhoef

Browse the full CONCUR paper archive.