Rooted Branching Bisimulation as a Congruence

This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote's ntyft format. It extends an earlier format by Bloom with standard notions such as recursion, iteration, predicates, and negative premises.

• Type: Journal
• Year: 2000
• Where: JCSS
• Authors: Wan Fokkink
• Keywords: Bisimulation Equivalence, Congruence Format, JCSS 2000, Structural Operational Semantics