Abstract
In this paper the approach to structural operational semantics (SOS) using
transition system specifications (TSSs) is extended to deal with variable binding
operators and many-sortedness. Verhoef's transition rule format, known as the panth format, generalizes naturally to the new TSSs. It is shown that, in case of a meaningful TSS
... read more