testeq: are two agents testing equivalent (i.e. failures equivalent)?
testeq(A,B);
Notes
Returns true iff A and B are both must and may equivalent, that is, if
they are related both ways round by both mustpre and maypre.
See Hennessy: Algebraic Theory of Processes, MIT Press.
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999