testpre: are two agents related by the testing preorder?
testpre(A,B);
Notes
Returns true iff maypre (A, B) and mustpre (A, B).
See Hennessy: Algebraic Theory of Processes, MIT Press
See also
testeq
maypre
mustpre
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999