Year: 2001
Type: report
Abstract: In a previous paper the approach to structural operational semantics using transition system specications (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 bisimulation is a congruence for meaningful TSSs. In this paper, it is shown that certain syntactic criteria, originating from Fokkink and Verhoef, to determine whether a TSS is an operational conservative extension of another TSS are applicable in this setting as well. This result can for example be used to simplify proofs of axiomatic conservativity and completeness in cases where an existing process calculus is extended with new features. Keywords: structural operational semantics, transition system specications, operational conservative extension, variable binding operators, binding terms, panth format, bisimulation, congruence 1994 CR Categories: D.3.1, F.1.1, F.3.2, F.4.1, I.2.3. 1
Source: TU/e Research Portal
Author: C.A. Middelburg
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2128412709