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 the new setting a generalization of the transition rule format known as the panth format guarantees that bisimulation equivalence is a congruence for meaningful TSSs. In the current paper, it is shown that certain syntactic criteria to determine whether a TSS is an operational conservative extension of another TSS, originating from Fokkink and Verhoef, are applicable to the new setting as well. This result can for example be used to simplify proofs of axiomatic conservativity and completeness in the case where an existing process calculus is extended with new features.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
