## cong: are two agents observationally congruent (equal)?

`cong(A,B);`

### Notes

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