Abstract
In a previous paper the approach to structural operational semantics using transition system specifications (TSSs) was extended to deal with variable binding operators. It was shown that in this setting a generalization of the transition
rule format known as the panth format guarantees that bisimilation is a congruence for meaningful TSSs.
... read more