The Bisimulation Problem for equational graphs of finite out-degree

G. Senizergues

The "bisimulation problem" for equational graphs of finite out-degree is shown to be decidable. We reduce this problem to the bisimulation problem for deterministic rational (vecto…