A Congruence Rule Format with Universal Quantification
Mohammad Reza Mousavi, Michel A. Reniers · Electronic Notes in Theoretical Computer Science · 2007
We investigate the addition of universal quantification to the meta-theory of Structural Operational Semantics (SOS). We study the syntax and semantics of SOS rules extended with universal quantification and propose a congruence rule format for strong bisimilarity that supports this new feature.