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