Table 3.

Reaction merging rules for the DSD language. Depending on the semantic abstraction σ, fast reactions may be merged with slow reactions or treated as separate reactions in their own right. The top two rules define fast and slow reductions for a given semantic abstraction σ according to table 2. The next rule formalizes the inclusion of branch migration in the structural equivalence relation ≡_σ when level(σ) ≠ Detailed. The remaining rules define the merged reduction relation () in terms of the fast and slow reduction relations.

conditions	before	rule	after
Rεslowrules(σ) and	D		D′
Rεfastrules(σ) and	D		D′
level(σ) ≠ Detailedand	D		D′
level(σ) = Detailedand	D		D′
level(σ) = Finiteand	D		D′
level(σ) = Finiteand	D		D′
level(σ) = Defaultand	D		D′
level(σ) = Infiniteand	D		D′