strongeq: are two agents strongly bisimilar?



Returns true iff A and B are related by some strong bisimulation. R is a strong bisimulation iff PRQ implies

whenever P -a-> P' there exists Q' st Q -a-> Q' and P' R Q' and

whenever Q -a-> Q' there exists P' st P -a-> P' and P' R Q'.

See also

  • eq
  • cong
    Edinburgh Concurrency Workbench (v7.1). Page generated: Sun Jul 18 11:46:51 BST 1999