Go backward to Experimenting upon Agents Go up to Top Go forward to Strong Equivalence

Strong Bisimulation

• Strong bisimulation
  • Binary relation S over agents such that (P,Q) inS implies
  • If P ->^alpha P', then Q ->^alpha Q' with (P',Q') in S and vice versa.
  • For every action alpha, every alpha-derivative of P is equivalent to some alpha-derivative of Q.
• Example

  

  • Claim: (A|B)\c = C₁
  • True if S is a strong bisimulation:
    S = { ((A|B)\c, C₁), ((A'|B)\c, C₃),
    ((A|B')\c, C₀), ((A'|B')\c, C₂) }
  • Check derivatives of each of the eight agents.