## twothirdspre: are two agents related by the 2/3 bisimulation preorder?

`twothirdspre(A,B);`

### Notes

Returns true iff A and B are related by some two-thirds preorder.
R is a two-thirds preorder iff PRQ implies
whenever P -a-> P' there exists Q' such that Q -a-> Q' and P'RQ' and

{initial actions of P} = {initial actions of Q}

Note that
twothirdseq (P,Q) iff twothirdspre (P,Q) and twothirdspre (Q,P)

### See also

twothirdseq

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