cong: are two agents observationally congruent (equal)?



Returns true iff

whenever A -a-> A' there exists B' st B =a=> B' and A' ~~ B' and

whenever B -a-> B' there exists A' st A =a=> A' and A' ~~ B'

(where A' ~~ B' means that A' and B' are weakly bisimilar)

See also

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