Bisimulation

Eine binäre Relation zwischen Zuständen zustandsbasierter Systeme (Kripke‑Modelle, beschriftete Übergangssysteme, Prozesse), die ihr beobachtbares Verhalten Schritt für Schritt abgleicht: Immer wenn verbundene Zustände eine Transition mit Label a ausführen, kann der verbundene Partner mit einer a‑Transition zu verwandten Zielzuständen nachziehen, und umgekehrt; Bisimulationsäquivalenz (Bisimilarit